Sciweavers

4434 search results - page 302 / 887
» On the Composition of Hybrid Systems
Sort
View
155
Voted
ENTCS
2008
124views more  ENTCS 2008»
15 years 6 months ago
Modular Functional Descriptions
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
Bernhard Schätz
FUIN
2008
81views more  FUIN 2008»
15 years 6 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
ISMAR
2005
IEEE
16 years 8 days ago
Encoded LED System for Optical Trackers
Since introducing a hybrid vision-inertial tracker using passive fiducial markers, we have encountered several applications in which the use of encoded LEDs would be preferable to...
Leonid Naimark, Eric Foxlin
ITS
2004
Springer
165views Multimedia» more  ITS 2004»
16 years 1 days ago
Knowledge Representation Requirements for Intelligent Tutoring Systems
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
Ioannis Hatzilygeroudis, Jim Prentzas
FPGA
2008
ACM
136views FPGA» more  FPGA 2008»
15 years 8 months ago
HybridOS: runtime support for reconfigurable accelerators
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
John H. Kelm, Steven S. Lumetta