Sciweavers

5804 search results - page 106 / 1161
» Doing more with less
Sort
View
146
Voted
CNL
2009
15 years 7 months ago
An Evaluation Framework for Controlled Natural Languages
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
Tobias Kuhn
FSS
2006
86views more  FSS 2006»
15 years 6 months ago
Truth-depressing hedges and BL-logic
Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives for...
Vilém Vychodil
LOGCOM
2008
99views more  LOGCOM 2008»
15 years 6 months ago
Three Scenarios for the Revision of Epistemic States
This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often present...
Didier Dubois
JSS
2006
62views more  JSS 2006»
15 years 6 months ago
Designing state-based systems with entity-life modeling
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with assoc...
Bo Sandén, Janusz Zalewski
160
Voted
WETICE
2005
IEEE
15 years 11 months ago
A Service Oriented Architecture Framework for Collaborative Services
The demand for flexible, efficient and user-friendly collaborative services is becoming more and more urgent as the competition in the current marketoriented arena is getting more...
Ivar Jørstad, Schahram Dustdar, Do Van Than...