7820 search results - page 265 / 1564 » Formalization of Time and Space |
257
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
217
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
Many parameter estimation problems admit divide and conquer or partitioning techniques in order to reduce a highdimensional task into several reduced-dimension problems. These tec...
192
click to vote
CP
2004
Springer
16 years 20 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
190
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
198
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...