2786 search results - page 154 / 558 » A Practical Technique for Process Abstraction |
179
Voted
COMSUR
2011
14 years 1 months ago
2011
Abstract—The computational and memory resources of wireless sensor nodes are typically very limited, as the employed low-energy microcontrollers provide only hardware support for...
105
Voted
ICIAP
1997
ACM
15 years 6 months ago
1997
ACM
Abstract. Phase correlation techniques have been used in image registration to estimate image displacements. These techniques have been also used to estimate optical ow by applying...
143
Voted
TAL
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. Most common feature selection techniques for document categorization are supervised and require lots of training data in order to accurately capture the descriptive and d...
113
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
114
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...