464 search results - page 10 / 93 » hybrid 2009 |
IC3
2009
14 years 7 months ago
2009
Abstract. This paper describes a hybrid grouping genetic algorithm for a multiprocessor scheduling problem, where a list of tasks has to be scheduled on identical parallel processo...
RTSS
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
63
Voted
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
: © Using hybrid search and query for e-discovery identification Dave Grosvenor, Andy Seaborne HP Laboratories HPL-2009-155 SPARQL, e-discovery, identification, hybrid search and ...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
72
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents the evolution of a tool to support the rapid prototyping of hybrid museum experiences by domain professionals. The developed tool uses visual markers to associ...