612 search results - page 118 / 123 » Bounded model checking for knowledge and real time |
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
This paper proposes a method for detecting instances of shape classes that exhibit variable structure. The term "variable structure" is used to characterize shape classes...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
106
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...
ISIPTA
1999
IEEE
15 years 1 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
CP
2001
Springer
15 years 2 months ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...