4573 search results - page 855 / 915 » Automated Reasoning |
HAPTICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
WETICE
2006
IEEE
15 years 5 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
118
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
125
click to vote
DOLAP
2006
ACM
15 years 5 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...