Sciweavers

13277 search results - page 2274 / 2656
» An Approach to Clustering Abstracts
Sort
View
ROBOCUP
2004
Springer
107views Robotics» more  ROBOCUP 2004»
16 years 28 days ago
Towards Illumination Invariance in the Legged League
Abstract. To date, RoboCup games have all been played under constant, bright lighting conditions. However, in order to meet the overall goal of RoboCup, robots will need to be able...
Mohan Sridharan, Peter Stone
RULEML
2004
Springer
16 years 28 days ago
A Defeasible Logic Reasoner for the Semantic Web
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vl...
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
16 years 28 days ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
SEM
2004
Springer
16 years 27 days ago
Supporting Generalized Context Interactions
Abstract. Context-awareness refers to a computing model where application behavior is driven by a continually-changing environment. Mobile computing poses unique challenges to cont...
Gregory Hackmann, Christine Julien, Jamie Payton, ...
SEMWEB
2004
Springer
16 years 27 days ago
GridVine: Building Internet-Scale Semantic Overlay Networks
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
Karl Aberer, Philippe Cudré-Mauroux, Manfre...
« Prev « First page 2274 / 2656 Last » Next »