Sciweavers

2648 search results - page 417 / 530
» Worlds, Models, and KM
Sort
View
KR
2004
Springer
15 years 11 months ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman
KR
2004
Springer
15 years 11 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
MMB
2004
Springer
142views Communications» more  MMB 2004»
15 years 11 months ago
Trends and Developments in ICT Industry: New Challenges for Performance Analysts
In the next few years the landscape of the information and communications technology (ICT) industry will be subject to many changes. New and advanced ICT services will be brought ...
Robert D. van der Mei, Bart Gijsen
CVPR
2010
IEEE
15 years 11 months ago
Learning Appearance in Virtual Scenarios for Pedestrian Detection
Detecting pedestrians in images is a key functionality to avoid vehicle-to-pedestrian collisions. The most promising detectors rely on appearance-based pedestrian classifiers tra...
Francisco Marin Tur, David Vazquez, David Geronimo...
3DIM
2003
IEEE
15 years 11 months ago
Stable Real-Time Interaction Between Virtual Humans And Real Scenes
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
Luca Vacchetti, Vincent Lepetit, George Papagianna...