Sciweavers

7522 search results - page 190 / 1505
» Spacing memetic algorithms
Sort
View
91
Voted
TVCG
2008
125views more  TVCG 2008»
15 years 1 months ago
GrouseFlocks: Steerable Exploration of Graph Hierarchy Space
Several previous systems allow users to interactively explore a large input graph through cuts of a superimposed hierarchy. This hierarchy is often created using clustering algorit...
Daniel Archambault, Tamara Munzner, David Auber
TSE
2010
123views more  TSE 2010»
14 years 7 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
PODS
2005
ACM
131views Database» more  PODS 2005»
16 years 1 months ago
Space efficient mining of multigraph streams
The challenge of monitoring massive amounts of data generated by communication networks has led to the interest in data stream processing. We study streams of edges in massive com...
Graham Cormode, S. Muthukrishnan
102
Voted
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
15 years 7 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
Karin Avnit, Arcot Sowmya
92
Voted
MHCI
2009
Springer
15 years 7 months ago
HoverFlow: expanding the design space of around-device interaction
In this paper we explore the design space of around-device interaction (ADI). This approach seeks to expand the interaction possibilities of mobile and wearable devices beyond the...
Sven G. Kratz, Michael Rohs