Sciweavers

18 search results - page 2 / 4
» Answer Sets: From Constraint Programming Towards Qualitative...
Sort
View
JASSS
1998
82views more  JASSS 1998»
13 years 4 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
DLOG
2008
13 years 7 months ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer
LPNMR
2009
Springer
13 years 11 months ago
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
Harold Ishebabi, Philipp Mahr, Christophe Bobda, M...
AMW
2009
13 years 6 months ago
Checking Containment of Schema Mappings (Preliminary Report)
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target sc...
Andrea Calì, Riccardo Torlone
ICMCS
2005
IEEE
113views Multimedia» more  ICMCS 2005»
13 years 10 months ago
Goal based optimal selection of media streams
A multimedia system utilizes a set of correlated media streams each of which partially help in achieving the system goal. However, since not all of the streams always contribute t...
Pradeep K. Atrey, Mohan S. Kankanhalli