3481 search results - page 471 / 697 » Exploration in Relational Worlds |
148
click to vote
BIRTHDAY
2009
Springer
16 years 19 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
139
click to vote
TABLETOP
2008
IEEE
16 years 6 days ago
2008
IEEE
In the real world, a physical tabletop provides public and private needs for people around the table. For competing scenarios such as playing a poker game or running a price negot...
139
click to vote
ICDM
2007
IEEE
16 years 4 days ago
2007
IEEE
Typical clustering algorithms output a single clustering of the data. However, in real world applications, data can often be interpreted in many different ways; data can have diff...
170
click to vote
ATAL
2007
Springer
16 years 14 hour ago
2007
Springer
The Supply Chain Trading Agent Competition (TAC SCM) was designed to explore approaches to dynamic supply chain trading. During the course of each year’s competition historical d...
148
click to vote
ITICSE
2006
ACM
15 years 11 months ago
2006
ACM
It is well known that women’s involvement in the field of Computer Science is very low in the USA. This is viewed as a significant problem and has become a great concern to educ...