Sciweavers

42 search results - page 3 / 9
» On the interaction between retrials and sizing of call cente...
Sort
View
EMSOFT
2011
Springer
12 years 5 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...

Publication
195views
12 years 4 months ago
Analog Genetic Encoding for the Evolution of Circuits and Networks
This paper describes a new kind of genetic representation called analog genetic encoding (AGE). The representation is aimed at the evolutionary synthesis and reverse engineering of...
Claudio Mattiussi, Dario Floreano
SIGGRAPH
2010
ACM
13 years 10 months ago
SmartBoxes for interactive urban reconstruction
We introduce an interactive tool which enables a user to quickly assemble an architectural model directly over a 3D point cloud acquired from large-scale scanning of an urban scen...
Liangliang Nan, Andrei Sharf, Hao Zhang, Daniel Co...
KDD
2009
ACM
157views Data Mining» more  KDD 2009»
14 years 24 days ago
Hierarchical difference scatterplots interactive visual analysis of data cubes
Data cubes as employed by On-Line Analytical Processing (OLAP) play a key role in many application domains. The analysis typically involves to compare categories of different hie...
Harald Piringer, Matthias Buchetics, Helwig Hauser...
UIST
2004
ACM
13 years 11 months ago
Collapse-to-zoom: viewing web pages on small screen devices by interactively removing irrelevant content
Overview visualizations for small-screen web browsers were designed to provide users with visual context and to allow them to rapidly zoom in on tiles of relevant content. Given t...
Patrick Baudisch, Xing Xie, Chong Wang 0002, Wei-Y...