Sciweavers

1703 search results - page 292 / 341
» Model interoperability via Model Driven Development
Sort
View
ROBOCOMM
2007
IEEE
15 years 8 months ago
A middleware for ecologies of robotic devices
—The fields of autonomous robotics and ambient intelligence are converging toward the vision of smart robotic environments, in which tasks are performed via the cooperation of m...
Mathias Broxvall
ICMCS
2005
IEEE
162views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Free viewpoint video synthesis and presentation from multiple sporting videos
This paper introduces two kinds of free viewpoint observation systems for sporting events captured with uncalibrated multiple cameras in a stadium. In the first system (Viewpoint...
Naho Inamoto, Hideo Saito
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 7 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
ICFEM
2003
Springer
15 years 7 months ago
Generic Interacting State Machines and Their Instantiation with Dynamic Features
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
David von Oheimb, Volkmar Lotz
SIGIR
2010
ACM
15 years 2 months ago
Has portfolio theory got any principles?
Recently, Portfolio Theory (PT) has been proposed for Information Retrieval. However, under non-trivial conditions PT violates the original Probability Ranking Principle (PRP). In...
Guido Zuccon, Leif Azzopardi, Keith van Rijsbergen