2715 search results - page 53 / 543 » An Implementation of Narrowing Strategies |
ATAL
2006
Springer
14 years 17 days ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
Publication
This paper presents a study conducted for evaluating different
interpolation schemes, similarity metrics and optimization
algorithms for the purpose of volumetric medical
image ...
FLAIRS
2006
13 years 10 months ago
2006
In knowledge engineering research the refinement of manually developed intelligent systems is still one of the key issues. Since scoring rules are an intuitive and easy to impleme...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...