2786 search results - page 46 / 558 » A Practical Technique for Process Abstraction |
145
click to vote
EUROMED
2010
14 years 11 months ago
2010
This study describes a process for digitizing 3D documentation with 3d laser scanner tools. The process of capturing 3D data is mainly for as-built environment in reconstruction an...
114
click to vote
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Behaviour trees provide the possibility of improving on existing Artificial Intelligence techniques in games by being simple to implement, scalable, able to handle the c...
100
click to vote
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
IPM
2006
15 years 1 months ago
2006
Similarity calculations and document ranking form the computationally expensive parts of query processing in ranking-based text retrieval. In this work, for these calculations, 11...