Sciweavers

3522 search results - page 323 / 705
» Incremental physical design
Sort
View
ASE
1999
126views more  ASE 1999»
15 years 6 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
CIKM
2010
Springer
15 years 4 months ago
Online stratified sampling: evaluating classifiers at web-scale
Deploying a classifier to large-scale systems such as the web requires careful feature design and performance evaluation. Evaluation is particularly challenging because these larg...
Paul N. Bennett, Vitor R. Carvalho
QEST
2010
IEEE
15 years 4 months ago
Fortuna: Model Checking Priced Probabilistic Timed Automata
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
Jasper Berendsen, David N. Jansen, Frits W. Vaandr...
GECCO
2009
Springer
113views Optimization» more  GECCO 2009»
15 years 4 months ago
Single step evolution of robot controllers for sequential tasks
The generation of robot controllers for a task requiring a sequence of elementary behaviors is still a challenge. If these behaviors are known, intermediate steps can be given to ...
Stéphane Doncieux, Jean-Baptiste Mouret
ICASSP
2011
IEEE
14 years 10 months ago
Beyond bag of words: Combining generative and discriminative models for natural scene categorization
This paper proposes a simple yet new and effective framework by combining generative model and discriminative model for natural scene categorization. A state-of-the-art approach f...
Zhen Li, Kim-Hui Yap, Xiao-Ming Chen