Sciweavers

112 search results - page 12 / 23
» A survey of context modelling and reasoning techniques
Sort
View
GIS
2002
ACM
13 years 7 months ago
Interactive 3D visualization of vector data in GIS
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
Oliver Kersting, Jürgen Döllner
MODELS
2009
Springer
14 years 1 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
ECCV
2002
Springer
14 years 9 months ago
Visual Data Fusion for Objects Localization by Active Vision
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
François Chaumette, Grégory Flandin
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 7 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
ILP
2005
Springer
14 years 27 days ago
Machine Learning for Systems Biology
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
Stephen Muggleton