Sciweavers

1157 search results - page 60 / 232
» Events Can Make Sense
Sort
View
AAMAS
2008
Springer
13 years 9 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...
ENTCS
2007
104views more  ENTCS 2007»
13 years 8 months ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
JBI
2002
105views Bioinformatics» more  JBI 2002»
13 years 8 months ago
Information extraction for enhanced access to disease outbreak reports
Document search is generally based on individual terms in the document. However, for collections within limited domains it is possible to provide more powerful access tools. This ...
Ralph Grishman, Silja Huttunen, Roman Yangarber
INFOCOM
2011
IEEE
13 years 9 days ago
Maintaining source privacy under eavesdropping and node compromise attacks
—In a sensor network, an important problem is to provide privacy to the event detecting sensor node and integrity to the data gathered by the node. Compromised source privacy can...
Kanthakumar Pongaliur, Li Xiao
IPPS
2006
IEEE
14 years 2 months ago
A dynamic firing speculation to speedup distributed symbolic state-space generation
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
Ming-Ying Chung, Gianfranco Ciardo