Sciweavers

1754 search results - page 165 / 351
» What's new in informatics
Sort
View
TOCL
2008
113views more  TOCL 2008»
13 years 9 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
AIM
1998
13 years 9 months ago
Computer Bridge - A Big Win for AI Planning
A computer program that uses AI planning techniques is now the world’s best program for the game of contract bridge. As reported in The New York Times and The Washington Post, t...
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
IDT
2010
125views more  IDT 2010»
13 years 7 months ago
Automatic fusion of knowledge stored in ontologies
A person adds new knowledge to his/her mind, taking into account new information, additional details, better precision, synonyms, homonyms, redundancies, apparent contradictions, a...
Alma-Delia Cuevas, Adolfo Guzmán-Arenas
PUC
2010
116views more  PUC 2010»
13 years 7 months ago
Requirements for mobile photoware
What is the future of digital imaging? Mobile imaging technologies have been changing rapidly and will continue to do so. We explore new developments in cameraphone photography wit...
Morgan Ames, Dean Eckles, Mor Naaman, Mirjana Spas...
TSD
2010
Springer
13 years 7 months ago
Encoding Event and Argument Structures in Wordnets
In this paper we propose the codification of argument and event structures in wordnets, providing information on selection properties, semantic incorporation phenomena and internal...
Raquel Amaro, Sara Mendes, Palmira Marrafa