Sciweavers

3238 search results - page 191 / 648
» On the Computational Interpretation of Negation
Sort
View
HICSS
2007
IEEE
131views Biometrics» more  HICSS 2007»
16 years 27 days ago
Ambiguities in Sketch-Based Interfaces
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
Danilo Avola, Maria Chiara Caschera, Fernando Ferr...
LICS
1989
IEEE
15 years 10 months ago
Elf: A Language for Logic Definition and Verified Metaprogramming
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
Frank Pfenning
GRAPHICSINTERFACE
2001
15 years 8 months ago
Aiding Manipulation of Handwritten Mathematical Expressions through Style-Preserving Morphs
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
Richard Zanibbi, Kevin Novins, James Arvo, Katheri...
EUSFLAT
2003
132views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Modeling high interest areas in descriptive TS fuzzy rule based systems
A descriptive Takagi-Sugeno fuzzy rule based system suffers under the curse of dimensionality since the number of rules is equal to a fuzzy system with a fully filled up decision...
Ingo Renners, Adolf Grauel
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 6 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter