1021 search results - page 162 / 205 » Concepts in Proof Planning |
PROMAS
2007
Springer
14 years 4 months ago
2007
Springer
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
INFOSECCD
2006
ACM
14 years 4 months ago
2006
ACM
A recent trend in security education is towards teaching offensive techniques which were originally developed by hackers. This reflects tendencies in the professional world where ...
AIPR
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
— Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits support advance reservati...