Sciweavers

1835 search results - page 209 / 367
» Classifying Description Logics
Sort
View
WILF
2007
Springer
108views Fuzzy Logic» more  WILF 2007»
15 years 10 months ago
Recognizing Humor Without Recognizing Meaning
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
Jonas Sjöbergh, Kenji Araki
112
Voted
IWCIA
2004
Springer
15 years 10 months ago
Practical Region-Based Matching for Stereo Vision
Using stereo vision in the field of mapping and localization is an intuitive idea, as demonstrated by the number of animals that have developed the ability. Though it seems logica...
Brian McKinnon, Jacky Baltes
144
Voted
AISC
2004
Springer
15 years 8 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
APAL
2004
84views more  APAL 2004»
15 years 4 months ago
Finite, integral, and finite-dimensional relation algebras: a brief history
Relation were invented by Tarski and his collaborators in the middle of the twentieth century. The concept of integrality arose naturally early in the history of the subject, and s...
Roger D. Maddux
PERCOM
2009
ACM
16 years 5 months ago
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
Wilfried Jouve, Julien Bruneau, Charles Consel