Sciweavers

3013 search results - page 498 / 603
» Context-Oriented Domain Analysis
Sort
View
91
Voted
POLICY
2005
Springer
15 years 6 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
RE
2005
Springer
15 years 6 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
110
Voted
MM
2004
ACM
174views Multimedia» more  MM 2004»
15 years 6 months ago
Speech, ink, and slides: the interaction of content channels
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
Richard J. Anderson, Crystal Hoyer, Craig Prince, ...
102
Voted
SIGIR
2004
ACM
15 years 6 months ago
Display time as implicit feedback: understanding task effects
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...
Diane Kelly, Nicholas J. Belkin
103
Voted
ARGMAS
2004
Springer
15 years 6 months ago
Is It Worth Arguing?
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...
Nishan C. Karunatillake, Nicholas R. Jennings