Sciweavers

83 search results - page 5 / 17
» The Sources of Certainty in Computation and Formal Systems
Sort
View
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
15 years 4 months ago
Qualitative robot localisation using information from cast shadows
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
Paulo Santos, Hannah M. Dee, Valquiria Fenelon
CICLING
2003
Springer
15 years 2 months ago
Computing with Realizational Morphology
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
Lauri Karttunen
IJCAI
2003
14 years 10 months ago
Describing and Utilizing Constraints to Answer Queries in Data-Integration Systems
In data-integration systems, information sources often have various constraints such as “all houses stored at a source have a unique address.” These constraints are very usefu...
Chen Li
AICOM
2004
118views more  AICOM 2004»
14 years 9 months ago
Qualitative pattern matching with linguistic terms
Abstract. In the framework of possibility theory, a tool named `fuzzy pattern matching' (FPM) has been proposed in the eighties and since successfully used in flexible queryin...
Yannick Loiseau, Henri Prade, Mohand Boughanem
DCOSS
2007
Springer
15 years 3 months ago
A Semantics-Based Middleware for Utilizing Heterogeneous Sensor Networks
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...