Sciweavers

5901 search results - page 1123 / 1181
» Virtual Learning Environments
Sort
View
DEXA
2003
Springer
95views Database» more  DEXA 2003»
14 years 2 months ago
XML and Knowledge Technologies for Semantic-Based Indexing of Paper Documents
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
Donato Malerba, Michelangelo Ceci, Margherita Bera...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 2 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
ICVS
2003
Springer
14 years 2 months ago
The Imalab Method for Vision Systems
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
Augustin Lux
IPSN
2003
Springer
14 years 2 months ago
Hypothesis Testing over Factorizations for Data Association
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...
Alexander T. Ihler, John W. Fisher III, Alan S. Wi...
IEEEICCI
2002
IEEE
14 years 2 months ago
An Interaction-Based Approach for Structuring Coordination Activities
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
Lars Taxén
« Prev « First page 1123 / 1181 Last » Next »