Sciweavers

1598 search results - page 271 / 320
» High-Assurance Distributed, Adaptive Software for Dynamic Sy...
Sort
View
COORDINATION
2008
Springer
15 years 28 days 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...
100
Voted
MVA
2008
125views Computer Vision» more  MVA 2008»
14 years 11 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
15 years 14 days 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»
15 years 6 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
15 years 8 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...