Sciweavers

2386 search results - page 187 / 478
» Representing and Reasoning with Preferences
Sort
View
WSC
2001
14 years 11 months ago
Spreadsheet simulation
"Spreadsheet simulation" refers to the use of a spreadsheet as a platform for representing simulation models and performing simulation experiments. This tutorial explain...
Andrew F. Seila
AAAI
2000
14 years 11 months ago
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S...
CORR
2006
Springer
102views Education» more  CORR 2006»
14 years 10 months ago
A Formal Foundation for ODRL
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed. The language is underspecified, and can be reasonably interpreted in a number...
Riccardo Pucella, Vicky Weissman
87
Voted
ICCD
2002
IEEE
101views Hardware» more  ICCD 2002»
15 years 7 months ago
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
94
Voted
ATAL
2009
Springer
15 years 4 months ago
Hedonic coalition nets
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
Edith Elkind, Michael Wooldridge