5550 search results - page 780 / 1110 » Different Approaches to Proof Systems |
176
click to vote
ISMDA
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
173
click to vote
ISPA
2005
Springer
16 years 13 days ago
2005
Springer
：Wireless Sensor and Actor Networks (WSANs) consist of three types of nodes with different capabilities and functions. Because of these heterogeneities, current network security ...
204
click to vote
MLMI
2005
Springer
16 years 13 days ago
2005
Springer
Acoustic events produced in meeting-room-like environments may carry information useful for perceptually aware interfaces. In this paper, we focus on the problem of combining diffe...
185
click to vote
ESWS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...
178
click to vote
GI
2004
Springer
16 years 9 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...