3914 search results - page 577 / 783 » Automating SLA modeling |
149
click to vote
ICIP
2005
IEEE
15 years 12 months 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...
157
click to vote
RSP
2005
IEEE
15 years 12 months 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...
175
click to vote
CSL
2005
Springer
15 years 11 months 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...
209
click to vote
ECSQARU
2005
Springer
15 years 11 months 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...
207
click to vote
ICLP
2005
Springer
15 years 11 months 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...