Sciweavers

399 search results - page 14 / 80
» Scene Modeling Based on Constraint System Decomposition Tech...
Sort
View
BMVC
2000
15 years 1 months ago
Automatic 3D Modelling of Architecture
This paper describes a system which automatically derives 3D models of architectural scenes from multiple images. This system differs from previous structure from motion algorithm...
Anthony R. Dick, Philip H. S. Torr, Roberto Cipoll...
FTCS
1998
114views more  FTCS 1998»
15 years 1 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
109
Voted
WSC
1997
15 years 1 months ago
Petri Net Based Simulation of Construction Schedules
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
Anil Sawhney
AUSAI
2004
Springer
15 years 5 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
SMA
2009
ACM
223views Solid Modeling» more  SMA 2009»
15 years 6 months ago
Particle-based forecast mechanism for continuous collision detection in deformable environments
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
Thomas Jund, David Cazier, Jean-François Du...