1941 search results - page 272 / 389 » DNA Computing Approach to Construction of Semantic Model |
147
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
150
click to vote
TKDE
2010
14 years 11 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
150
click to vote
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
138
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Object recognition is challenging due to high intra-class
variability caused, e.g., by articulation, viewpoint changes,
and partial occlusion. Successful methods need to strike a...
130
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...