10802 search results - page 53 / 2161 » Generative and developmental systems |
158
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
150
click to vote
NIPS
2007
15 years 5 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
143
click to vote
CGF
2005
15 years 4 months ago
2005
The term stroke-based rendering collectively describes techniques where images are generated from elements that are usually larger than a pixel. These techniques lend themselves w...
116
Voted
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
167
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...