Sciweavers

7213 search results - page 993 / 1443
» Automated model grouping
Sort
View
LPNMR
2005
Springer
16 years 10 days ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub
POLICY
2005
Springer
16 years 9 days ago
Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
Malohat Ibrohimovna Kamilova, Cristian Hesselman, ...
SEKE
2005
Springer
16 years 9 days ago
Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
Miguel-Ángel Sicilia, Juan J. Cuadrado, Dan...
TARK
2005
Springer
16 years 9 days ago
Understanding human strategies for change: an empirical study
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
Alankar Karol, Mary-Anne Williams
TARK
2005
Springer
16 years 9 days ago
Decisions under subjective information
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
Jack Stecher