Sciweavers

1121 search results - page 89 / 225
» Logics of Complementarity in Information Systems
Sort
View
CAISE
2007
Springer
14 years 3 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
GROUP
2005
ACM
14 years 2 months ago
Unraveling the ordering in persistent chat: a new message ordering feature
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
Lu Xiao, Jayne S. Litzinger
KR
2004
Springer
14 years 2 months ago
Reaching Agreement Through Argumentation: A Possibilistic Approach
Negotiation plays a key role as a means for sharing information and resources with the aim of looking for a common agreement. This paper proposes a new approach based on possibili...
Leila Amgoud, Henri Prade
ETS
2011
IEEE
230views Hardware» more  ETS 2011»
12 years 8 months ago
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
Nuno Alves, Y. Shi, N. Imbriglia, Jennifer Dworak,...
DLOG
2003
13 years 10 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller