Sciweavers

3605 search results - page 276 / 721
» Associated types with class
Sort
View
AAAI
2004
15 years 8 months ago
Collapsibility and Consistency in Quantified Constraint Satisfaction
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
Hubie Chen
ESANN
2004
15 years 8 months ago
Using classification to determine the number of finger strokes on a multi-touch tactile device
On certain types of multi-touch touchpads, determining the number of finger stroke is a non-trivial problem. We investigate the application of several classification algorithms to ...
Caspar von Wrede, Pavel Laskov
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
ANLP
2000
115views more  ANLP 2000»
15 years 8 months ago
Categorizing Unknown Words: Using Decision Trees to Identify Names and Misspellings
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...
Janine Toole
CAEPIA
2009
Springer
15 years 8 months ago
Base Belief Change for Finitary Monotonic Logics
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
Pere Pardo, Pilar Dellunde, Lluis Godo