8486 search results - page 1325 / 1698 » Ordered Enumeration Method |
174
click to vote
HIPEAC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
180
Voted
HVC
2005
Springer
16 years 10 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
140
click to vote
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
229
click to vote
ICAPR
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we present a technique for predicting the 2D human body joints and limbs position in monocular image sequences, and reconstructing its corresponding 3D postures using...
222
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Process-aware information systems (PAIS) allow coordinating the execution of business processes by providing the right tasks to the right people at the right time. In ord...