1743 search results - page 248 / 349 » Generalized Modal Satisfiability |
134
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
To help unravel the structure of the universe, astronomers have developed systems which observe large clusters of objects at the same time. One such system is the 2-degree field s...
144
click to vote
PATAT
2000
Springer
15 years 8 months ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
151
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
127
click to vote
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
137
click to vote
AAAI
2008
15 years 7 months ago
2008
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so it satisfies the author's expressive goals ...