1941 search results - page 363 / 389 » DNA Computing Approach to Construction of Semantic Model |
149
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
165
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
140
Voted
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
163
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
140
Voted
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multipl...