2776 search results - page 375 / 556 » System-Level Abstraction Semantics |
158
click to vote
ICESS
2005
Springer
16 years 1 days ago
2005
Springer
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...
176
click to vote
ICWE
2005
Springer
16 years 1 days ago
2005
Springer
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...
140
click to vote
IEAAIE
2005
Springer
16 years 1 days ago
2005
Springer
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...
149
click to vote
KES
2005
Springer
16 years 1 days ago
2005
Springer
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...
145
click to vote
LPAR
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...