Sciweavers

4051 search results - page 586 / 811
» Aggregation
Sort
View
149
Voted
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
15 years 8 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
SIGSOFT
2000
ACM
15 years 8 months ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan
ECCV
2010
Springer
15 years 8 months ago
Using Partial Edge Contour Matches for Efficient Object Category Localization
Abstract. We propose a method for object category localization by partially matching edge contours to a single shape prototype of the category. Previous work in this area either re...
Hayko Riemenschneider, Michael Donoser, and Horst ...
ECAIW
2000
Springer
15 years 8 months ago
A Hierarchy of Reactive Behaviors Handles Complexity
This paper discusses the hierarchical control architecture used to generate the behavior of individual agents and a team of robots for the RoboCup Small Size competition. Our react...
Sven Behnke, Raúl Rojas
DOLAP
1999
ACM
15 years 8 months ago
A Dynamic Load Balancing Strategy for Parallel Datacube Computation
In recent years, OLAP technologies have become one of the important applications in the database industry. In particular, the datacube operation proposed in [5] receives strong at...
Seigo Muto, Masaru Kitsuregawa