747 search results - page 139 / 150 » An Alternative Representation for QBF |
ELPUB
1998
ACM
15 years 1 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
SIGGRAPH
1996
ACM
15 years 1 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
EUROSYS
2010
ACM
15 years 1 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
ER
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...