Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding program » proceedings program, processing program, processing programs
program controls » process controls, program costs
controls https » control https, control http
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding program » proceedings program, processing program, processing programs
program controls » process controls, program costs
controls https » control https, control http
1
Cyhoeddwyd 2014
Tabl Cynhwysion:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Location and Control Computation -- Approximate Reachability Computation for Polynomial Systems -- A...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... -- Solving a Stochastic Queueing Control Problem with Constraint Programming -- Constrained Clustering Via...”Cael y testun llawn
Electronig
eLyfr
8
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2005
Tabl Cynhwysion:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... = Logic + Control” -- ACD Term Rewriting -- Program Analysis -- Detecting Determinacy in Prolog Programs...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... for Giving Semantics to Machine Language -- Paragon for Practical Programming with Information-Flow Control...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”Cael y testun llawn
Electronig
eLyfr
20
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Cael y testun llawn
Electronig
eLyfr