8337 search results - page 360 / 1668 » Reasoning With Characteristic Models |
171
click to vote
AGP
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
153
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
137
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
191
click to vote
HIS
2004
15 years 8 months ago
2004
This paper presents a novel approach to speech recognition using fuzzy modeling. The task begins with conversion of speech spectrogram into a linguistic description based on arbit...
209
click to vote
APPINF
2003
15 years 8 months ago
2003
This paper reviews some attempts that exploit a phenomenon, also known as motion parallax, to estimate the distance of closest approach of a moving object. Despite their success, ...