Sciweavers

2316 search results - page 430 / 464
» The many forms of hypercomputation
Sort
View
IJCAI
1989
15 years 5 months ago
Reasoning about Kinematic Topology
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
Boi Faltings, Emmanuel Baechler, J. Primus
IJCAI
1989
15 years 5 months ago
An Approximate Solver for Symbolic Equations
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
Elisha Sacks
CLEF
2010
Springer
15 years 5 months ago
LEAR and XRCE's Participation to Visual Concept Detection Task - ImageCLEF 2010
In this paper we present the common effort of Lear and XRCE for the ImageCLEF Visual Concept Detection and Annotation Task. We first sought to combine our individual state-of-the-a...
Thomas Mensink, Gabriela Csurka, Florent Perronnin...
CIDR
2009
119views Algorithms» more  CIDR 2009»
15 years 5 months ago
DBMSs Should Talk Back Too
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
Alkis Simitsis, Yannis E. Ioannidis
181
Voted
CIDR
2009
139views Algorithms» more  CIDR 2009»
15 years 5 months ago
Inter-Operator Feedback in Data Stream Management Systems via Punctuation
High-volume, high-speed data streams may overwhelm the capabilities of stream processing systems; techniques such as data prioritization, avoidance of unnecessary processing and o...
Rafael Fernández-Moctezuma, Kristin Tufte, ...