Sciweavers

2171 search results - page 101 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
133
Voted
DAS
2010
Springer
15 years 5 months ago
Context-aware and content-based dynamic Voronoi page segmentation
This paper presents a dynamic approach to document page segmentation based on inter-component relationships and their local features. State-of-the art page segmentation algorithms...
Mudit Agrawal, David S. Doermann
DALT
2006
Springer
15 years 8 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
198
Voted
VLDB
1995
ACM
214views Database» more  VLDB 1995»
15 years 8 months ago
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
Erhard Rahm, Robert Marek
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 8 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
132
Voted
IAT
2006
IEEE
15 years 11 months ago
Dynamical Control in Large-Scale Material Handling Systems through Agent Technology
Delayed arrivals, missing tag codes, flight changes, break-downs, etc. are some of the factors, which make the environment of airport baggage handling systems (BHS) extremely dyn...
Kasper Hallenborg, Yves Demazeau