Sciweavers

2620 search results - page 76 / 524
» Qualities in Possible Worlds
Sort
View
VISUAL
1999
Springer
14 years 2 months ago
Crawling for Images on the WWW
Search engines are useful because they allow the user to nd information of interest from the World-Wide Web. These engines use a crawler to gather information from Web sites. Howev...
Junghoo Cho, Sougata Mukherjea
ICLP
1991
Springer
14 years 2 months ago
Nonmonotonic Reasoning with Well Founded Semantics
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
Luís Moniz Pereira, Joaquim Nunes Apar&iacu...
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 7 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
ATAL
2008
Springer
14 years 20 days ago
Learning to interact: connecting perception with action in virtual environments
Modeling synthetic characters which interact with objects in dynamic virtual worlds is important when we want the agents to act in an autonomous and non-preplanned way. Such inter...
Pedro Sequeira, Ana Paiva
TCS
1998
13 years 10 months ago
Axiomatisation of Functional Dependencies in Incomplete Relations
Incomplete relations are relations which contain null values, whose meaning is \value is at present unknown". Such relations give rise to two types of functional dependency (...
Mark Levene, George Loizou