1146 search results - page 81 / 230 » Finite cupping sets |
ATVA
2006
Springer
14 years 24 days 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...
AAAI
2004
13 years 10 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
FUIN
2010
13 years 6 months ago
2010
We study an extension of monadic second-order logic of order with the uncountability quantifier "there exist uncountably many sets". We prove that, over the class of fini...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
The National Association for Stock Car Auto Racing (NASCAR) is currently the No. 1 spectator sport in the United States. However, the manner in which drivers are ranked to determi...
MUE
2007
IEEE
14 years 3 months ago
2007
IEEE
The Four Legged League is a division of the RoboCup initiative that uses Sony AIBOTM robots to further robotics research. Most participants implement vision systems that use the c...