Sciweavers

4485 search results - page 537 / 897
» Equivalences on Observable Processes
Sort
View
IEAAIE
2004
Springer
16 years 4 days ago
An Algorithm for Incremental Mode Induction
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
Nicola Di Mauro, Floriana Esposito, Stefano Ferill...
ISI
2004
Springer
16 years 3 days ago
Semantic Analysis for Monitoring Insider Threats
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
Svetlana Symonenko, Elizabeth D. Liddy, Ozgur Yilm...
147
Voted
PRIMA
2004
Springer
16 years 3 days ago
A Distributed Workflow System with Autonomous Components
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
Maryam Purvis, Martin K. Purvis, Azhar Haidar, Bas...
3DIM
2003
IEEE
16 years 1 days ago
Taking Consensus of Signed Distance Field for Complementing Unobservable Surface
When we use range finders to observe the shape of an object, many occluded areas may occur. These become holes and gaps in the model and make it undesirable to utilize the model ...
Ryusuke Sagawa, Katsushi Ikeuchi
AOSD
2003
ACM
16 years 13 hour ago
Strategic programming meets adaptive programming
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
Ralf Lämmel, Eelco Visser, Joost Visser