10700 search results - page 1809 / 2140 » Generative Design Patterns |
180
click to vote
TPHOL
2003
IEEE
16 years 16 hour ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
167
click to vote
VISUALIZATION
2003
IEEE
16 years 16 hour ago
2003
IEEE
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...
171
click to vote
WCRE
2003
IEEE
16 years 16 hour ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
226
click to vote
ICAIL
2003
ACM
16 years 6 hour ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
149
click to vote
ISLPED
2003
ACM
16 years 6 hour ago
2003
ACM
Modern superscalar processors implement precise interrupts by using the Reorder Buffer (ROB). In some microarchitectures , such as the Intel P6, the ROB also serves as a repositor...