104 search results - page 8 / 21 » Who killed the directed model |
CAV
2005
Springer
14 years 7 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
MIDDLEWARE
2007
Springer
14 years 25 days ago
2007
Springer
Web based data services are very popular with the average computer user. Examples of such services include Gmail.com, Yahoo Photos, Yahoo Briefcase and Amazon S3 Service. In such ...
ICDM
2003
IEEE
13 years 12 months ago
2003
IEEE
Most data mining algorithms and tools stop at discovered customer models, producing distribution information on customer profiles. Such techniques, when applied to industrial pro...
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
ITCC
2002
IEEE
13 years 11 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...