4860 search results - page 688 / 972 » SNPs Problems, Complexity, and Algorithms |
144
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
180
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
193
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
176
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...
212
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...