Sciweavers

801 search results - page 115 / 161
» Reasoning with Reasons in Case-Based Comparisons
Sort
View
SIGIR
1996
ACM
15 years 6 months ago
Phonetic String Matching: Lessons from Information Retrieval
Phonetic matching is used in applications such as name retrieval, where the spelling of a name is used to identify other strings that are likely to be of similar pronunciation. In...
Justin Zobel, Philip W. Dart
LILOG
1989
15 years 6 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp
CDC
2009
IEEE
184views Control Systems» more  CDC 2009»
15 years 5 months ago
A closed loop musculoskeletal model of postural coordination dynamics
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
ESA
2007
Springer
122views Algorithms» more  ESA 2007»
15 years 5 months ago
A Practical Efficient Fptas for the 0-1 Multi-objective Knapsack Problem
Abstract. In the present work, we are interested in the practical behavior of a new fptas to solve the approximation version of the 0-1 multiobjective knapsack problem. Nevertheles...
Cristina Bazgan, Hadrien Hugot, Daniel Vanderpoote...
BTW
2009
Springer
114views Database» more  BTW 2009»
15 years 5 months ago
Efficient Verification of B-tree Integrity
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
Goetz Graefe, R. Stonecipher