1089 search results - page 102 / 218 » Oracle-Based Partial Evaluation |
LISP
2008
14 years 10 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
ICVS
1999
Springer
15 years 2 months ago
1999
Springer
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...
AAAI
1993
14 years 11 months ago
1993
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
107
click to vote
CORR
2010
Springer
14 years 7 months ago
2010
Springer
: For industrial product design, it is very important to take into account assembly/disassembly and maintenance operations during the conceptual and prototype design stage. For the...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Denial-of-service (DoS) attacks significantly degrade service quality experienced by legitimate users by introducing long delays, excessive losses, and service interruptions. The ...