3856 search results - page 542 / 772 » Models for Automated Earthmoving |
156
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
169
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
186
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
149
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
159
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...