Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 241 - 260 von 5.921

241

Data-Driven Objectness.
Kang, Hongwen ; Hebert, Martial ; Efros, Alexei A. ; et al.
IEEE Transactions on Pattern Analysis & Machine Intelligence. Jan2015, Vol. 37 Issue 1, p189-195. 7p.

DATA analysis COMPUTER programming ALGORITHMS MATHEMATICAL programming WORK environment ALGORITHMIC randomness
Fachzeitschrift
242

Toward a Mathematical Foundation of Software Engineering Methods.
Broy, Manfred
IEEE Transactions on Software Engineering. Jan2001, Vol. 27 Issue 1, p42-58. 17p.

SOFTWARE engineering COMPUTER software develo... COMPUTER software ELECTRONIC systems TOOLS GRAPHIC arts
Fachzeitschrift
243

OTIMIZAÇÃO TOPOLÓGICA DE ESTRUTURAS 2-D
TATIANA GOSSO LAGUN
Repositório Institucional da PUC_RIOPontifícia Universidade Católica do Rio de JaneiroPUC_RIO.

Dissertation
244

Extended Semantics and Optimization Algorithms for CP-Networks.
Brafman, Ronen I. ; Dimopoulos, Yannis
Computational Intelligence. May2004, Vol. 20 Issue 2, p218-245. 28p. 7 Diagrams.

ALGORITHMS MATHEMATICAL optimizatio... COMPUTER programming GRAPHIC methods SEMANTICS LOGIC programming
Fachzeitschrift
245

On Partitioning Program Graphs.
Paige, Michael R.
IEEE Transactions on Software Engineering. Nov77, Vol. 3 Issue 6, p386-394. 9p. 1 Color Photograph, 9 Diagrams, 2 Charts.

COMPUTER software COMPUTER programming MATHEMATICAL programming GRAPHIC methods GRAPH theory
Fachzeitschrift
246

The Past Encapsulated.
Software Development. Sep2004, Vol. 12 Issue 9, p39-43. 5p. 2 Color Photographs, 1 Black and White Photograph, 1 Diagram, 1 Graph.

COMPUTER software indust... COMPUTER software develo... COMPUTER software develo... COMPUTER programming COMPUTER hackers FORMAL methods (Computer...
Zeitschrift
247

THE EXTENSION OF THE CASCADE ALGORITHM TO LARGE GRAPHS.
Land, A. H. ; Stairs, S. W.
Management Science. Sep67, Vol. 14 Issue 1, p29-33. 5p.

COMPUTER programming ALGORITHMS GRAPHIC methods MATHEMATICAL models FOUNDATIONS of arithmeti... BRANCH & bound algorithm...
Fachzeitschrift
248

An image synthesizer
Perlin, Ken
Proceedings of the 12th annual conference on Computer graphics and interactive techniques. :287-296

Konferenz
249

Aggressive Value Prediction on a GPU.
Sun, Enqiang ; Kaeli, David
International Journal of Parallel Programming. Feb2014, Vol. 42 Issue 1, p30-48. 19p.

DATA analysis APPLICATION software COMPUTER software GRAPHICS processing unit... PARALLEL computers MATHEMATICAL complex ana...
Fachzeitschrift
250

Education: A general-purpose display processing and tutorial system
Engvold, K. J. ; Hughes, J. L.
Communications of the ACM. 11(10):697-702

Fachzeitschrift
251

Coresets for Triangulation.
Zhang, Qianggong ; Chin, Tat-Jun
IEEE Transactions on Pattern Analysis & Machine Intelligence. Sep2018, Vol. 40 Issue 9, p2095-2108. 14p.

MULTIPLE correspondence... VISUAL perception IMAGE processing COMPUTER graphics IMAGE recognition (Compu...
Fachzeitschrift
252

A structured approach to analysis and design of complex systems
Evans, F. ; Jantzen, J.
Conference proceedings on APL 90: for the future. :104

Konferenz
253

A software tool development for pneumatic actuator system simulation and design
Lin-Chen, Y.Y. ; Wang, J. ; Wu, Q.H.
Computers in Industry. May2003, Vol. 51 Issue 1, p73. 16p.

COMPUTER software develo... COMPUTER-aided design
Fachzeitschrift
254

Software watermarking : models and dynamic embeddings
Collberg, Christian ; Thomborson, Clark
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :311-324

Konferenz
255

Spatially Efficient Design of Annotated Metro Maps.
Wu, Hsiang‐Yun ; Takahashi, Shigeo ; Hirono, Daichi ; et al.
Computer Graphics Forum. Dec2013, Vol. 32 Issue 3pt3, p261-270. 10p. 9 Color Photographs, 2 Charts.

ALGORITHMS INTEGER programming MATHEMATICAL optimizatio... THUMBNAIL images (Image... MIXED integer linear pro... SPATIAL analysis (Statis...
Fachzeitschrift
257

Adjoints: maintaining the legacy.
Sherif, Nazneen
Risk. Jul2015, Vol. 28 Issue 7, p59-59. 1p.

COMPUTER programming BANKING industry AUTOMATIC differentiatio... GRAPHICS processing unit... UBS AG. Investment Bank... CREDIT Suisse AG
Zeitschrift
258

Aesthetics of Mathematics.
Moltenbrey, Karen
Computer Graphics World. Mar2002, Vol. 25 Issue 3, p30. 2p. 6 Color Photographs.

COMPUTER art PHOTOGRAPHS UNITED States EINHORN, Earl
Zeitschrift
259

BUAKA-CS: Blockchain-enabled user authentication and key agreement scheme for crowdsourcing system.
Wazid, Mohammad ; Das, Ashok Kumar ; Hussain, Rasheed ; et al.
Journal of Systems Architecture. Feb2022, Vol. 123, pN.PAG-N.PAG. 1p.

BLOCKCHAINS CROWDSOURCING EMERGENCY management KEY agreement protocols... SWARM intelligence SOFTWARE validation
Fachzeitschrift
260

Fundamentals of computation theory: 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Freĭvald, R. V.

Computer science -- Cong... Computer science. Computer software. Computational complexity... Computer graphics.
Buch

Filter