7213 search results - page 993 / 1443 » Automated model grouping |
214
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
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...
148
click to vote
POLICY
2005
Springer
16 years 9 days ago
2005
Springer
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...
184
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
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...
176
click to vote
TARK
2005
Springer
16 years 9 days ago
2005
Springer
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...
172
click to vote
TARK
2005
Springer
16 years 9 days ago
2005
Springer
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...