3283 search results - page 588 / 657 » Designing Agent Based Travel Support System |
SMA
2003
ACM
15 years 3 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
VL
2002
IEEE
15 years 2 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
PADO
2001
Springer
15 years 2 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
106
click to vote
TACAS
2001
Springer
15 years 2 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
ICCBR
1999
Springer
15 years 2 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...