Sciweavers

2696 search results - page 359 / 540
» Semantic Abstraction and Anaphora
Sort
View
FOSSACS
2005
Springer
15 years 12 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
ICESS
2005
Springer
15 years 12 months ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
ICWE
2005
Springer
15 years 12 months ago
Automatic Optimization of Web Recommendations Using Feedback and Ontology Graphs
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
Nick Golovin, Erhard Rahm
IEAAIE
2005
Springer
15 years 12 months ago
Plan Execution in Dynamic Environments
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
Gordon Fraser, Gerald Steinbauer, Franz Wotawa
KES
2005
Springer
15 years 12 months ago
Fast Video Retrieval via the Statistics of Motion Within the Regions-of-Interest
Abstract. It is a very important issue to quickly retrieve semantic information from a vast multimedia database. In this paper, we propose a statistic-based algorithm to retrieve t...
Jing-Fung Chen, Hong-Yuan Mark Liao, Chia-Wen Lin