Sciweavers

9842 search results - page 278 / 1969
» Compositional timing analysis
Sort
View
BIRTHDAY
2004
Springer
15 years 10 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
SIGECOM
2000
ACM
155views ECommerce» more  SIGECOM 2000»
15 years 9 months ago
Competitive bundling of categorized information goods
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
Jeffrey O. Kephart, Scott A. Fay
SERVICES
2008
99views more  SERVICES 2008»
15 years 6 months ago
WS-BioZard: A Wizard for Composing Bioinformatics Web Services
As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promis...
Zhiming Wang, John A. Miller, Jessica C. Kissinger...
MVA
2000
203views Computer Vision» more  MVA 2000»
15 years 5 months ago
An Environment to Test Progressive Refinement of Indexing for Content-Based Image Retrieval
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...
Maria Grazia Albanesi, Marco Ferretti, Alessandro ...
ISVC
2009
Springer
15 years 11 months ago
Real-Time 3D Reconstruction for Occlusion-Aware Interactions in Mixed Reality
In this paper, we present a system for performing real-time occlusion-aware interactions in a mixed reality environment. Our system consists of 16 ceiling-mounted cameras observing...
Alexander Ladikos, Nassir Navab