Sciweavers

1884 search results - page 313 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
CIA
2004
Springer
14 years 2 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
ICWL
2004
Springer
14 years 2 months ago
CUBES: Providing Flexible Learning Environment for Virtual Universities
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
Peifeng Xiang, Yuanchun Shi, Weijun Qin, Xin Xiang
COOPIS
2003
IEEE
14 years 2 months ago
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
Gábor Nagypál, Boris Motik
CAISE
2003
Springer
14 years 2 months ago
The Emergence of Knowledge e-marketplaces
Abstract. On line Knowledge e-marketplaces (Ke-markets) posses some special challenges for buyers and sellers. Unlike most markets, the product of exchange has some unique characte...
Emanuela Pauselli
COSIT
2003
Springer
145views GIS» more  COSIT 2003»
14 years 2 months ago
Extracting Landmarks with Data Mining Methods
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
Birgit Elias