Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
interface methods » internal methods, interval methods, interference methods
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
processing program » processing programs, processing programmed, proceedings program
methods processing » methods preprocessing, methods proceedings, methods processes
interface methods » internal methods, interval methods, interference methods
program abstract » program abstracts, programs abstract, program abstrak
abstract https » abstract bots, abstract attacks
1
Foilsithe 2005
Clár Ábhair:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2010
Clár Ábhair:
“... Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2012
Clár Ábhair:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2005
Clár Ábhair:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2005
Clár Ábhair:
“... Dynamically Communicating Abstract Machines in the B Method -- Sweep-Line Analysis of TCP Connection...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2006
Clár Ábhair:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2012
Clár Ábhair:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2012
Clár Ábhair:
“... Retrieval from Deformable Templates.- OWL-DL Domain-Models as Abstract Workflows.- Processes and Data...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2012
Clár Ábhair:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2012
Clár Ábhair:
“... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Foilsithe 2006
Clár Ábhair:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2006
Clár Ábhair:
“... and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction -- Towards P2P-Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2007
Clár Ábhair:
“... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2006
Clár Ábhair:
“... Composition -- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation -- Temporal...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2005
Clár Ábhair:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2010
Clár Ábhair:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2010
Clár Ábhair:
“... Constrained SIFT Matching -- A Method for Music Structure Analysis Using MPEG-4 TwinVQ Audio Compression -- A...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Natural Language Processing and Information Systems 10th International Conference on Applications...
Foilsithe 2005
Clár Ábhair:
“... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- 3
- 4
- Ar aghaidh »
- [4]