7623 search results - page 159 / 1525 » Constructive Volume Modeling |
122
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
155
click to vote
APN
2000
Springer
15 years 7 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
107
click to vote
ECIS
2000
15 years 4 months ago
2000
: Media are explored to envision, to design, and to implement platforms for knowledge management within communities. They actively shape, support and develop the community being re...
150
Voted
EMNLP
2010
15 years 1 months ago
2010
We propose an approach to adjective-noun composition (AN) for corpus-based distributional semantics that, building on insights from theoretical linguistics, represents nouns as ve...
136
Voted
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...