8266 search results - page 155 / 1654 » Information About the Journal |
157
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose an Internet-based, free, world-wide, centralized medical information system with two main target groups: practicing physicians and medical researchers. After a...
161
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The problem of coding for channels with time-varying state is studied. Two different models are considered: one in which the channel state cannot depend on the transmitted signal,...
179
click to vote
DEBU
2002
15 years 6 months ago
2002
State-of-the-art Web search engines are inherently limited in their abilities to search information in Deep Web beyond portals. This paper discusses how Web services and Semantic-...
158
click to vote
CN
1998
15 years 6 months ago
1998
The MEMOIR project supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with related ...