Sciweavers

1598 search results - page 271 / 320
» High-Assurance Distributed, Adaptive Software for Dynamic Sy...
Sort
View
COORDINATION
2008
Springer
13 years 9 months ago
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hil...
MVA
2008
125views Computer Vision» more  MVA 2008»
13 years 7 months ago
Pearson-based mixture model for color object tracking
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
William Ketchantang, Stéphane Derrode, Lion...
USENIX
1994
13 years 9 months ago
Splicing UNIX into a Genome Mapping Laboratory
The Whitehead Institute/MIT Center for Genome Research is responsible for a number of large genome mapping efforts, the scale of which create problems of data and workflow managem...
Lincoln Stein, Andre Marquis, Robert Dredge, Mary ...
WSDM
2009
ACM
138views Data Mining» more  WSDM 2009»
14 years 2 months ago
Integration of news content into web results
Aggregated search refers to the integration of content from specialized corpora or verticals into web search results. Aggregation improves search when the user has vertical intent...
Fernando Diaz
EUROSYS
2009
ACM
14 years 4 months ago
Automated control of multiple virtualized resources
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
Pradeep Padala, Kai-Yuan Hou, Kang G. Shin, Xiaoyu...