3856 search results - page 574 / 772 » Models for Automated Earthmoving |
155
click to vote
ICIP
2005
IEEE
16 years 3 days ago
2005
IEEE
—Fingerprint indexing is an efficient technique that greatly improves the performance of Automated Fingerprint Identification Systems. We propose a continuous fingerprint indexin...
168
click to vote
RSP
2005
IEEE
16 years 3 days ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
178
click to vote
CSL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
215
click to vote
ECSQARU
2005
Springer
16 years 1 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
211
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...