615 search results - page 53 / 123 » High-Level Nondeterministic Abstractions in |
118
click to vote
AMI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
107
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
114
click to vote
ACIVS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
110
click to vote
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
104
click to vote
AIIA
2007
Springer
15 years 7 months ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...