267 search results - page 9 / 54 » Generating all maximal models of a Boolean expression |
115
click to vote
RTSS
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
118
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract— We investigate secret key generation for a “pairwise independent network” model in which every pair of terminals observes correlated sources which are independent o...
93
Voted
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
125
click to vote
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
103
Voted
ICCV
2005
IEEE
15 years 5 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...