Sciweavers

6884 search results - page 115 / 1377
» The macro-structure of use of help
Sort
View
AAAI
1996
13 years 10 months ago
Formalizing Narratives Using Nested Circumscription
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
Chitta Baral, Alfredo Gabaldon, Alessandro Provett...
CASCON
1993
70views Education» more  CASCON 1993»
13 years 10 months ago
Using cognates to align sentences in bilingual corpora
In a recent paper, Gale and Church describe an inexpensive method for aligning bitext, based exclusively on sentence lengths [Gale and Church, 1991]. While this method produces su...
Michel Simard, George F. Foster, Pierre Isabelle
USAB
2007
13 years 10 months ago
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
Philippe A. Palanque, Sandra Basnyat, David Navarr...
AIPS
2010
13 years 9 months ago
A New Approach to Conformant Planning Using CNF*
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
Son Thanh To, Tran Cao Son, Enrico Pontelli
CCR
2010
171views more  CCR 2010»
13 years 9 months ago
Fighting online click-fraud using bluff ads
Online advertising is currently the richest source of revenue for many Internet giants. The increased number of online businesses, specialized websites and modern profiling techni...
Hamed Haddadi