1593 search results - page 142 / 319 » A visual programming system for automated problem solving |
132
Voted
AUTOMATICA
2008
15 years 4 months ago
2008
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
155
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
158
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
135
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
131
click to vote
DLOG
1996
15 years 5 months ago
1996
In 1995, I nished my Ph.D. project which was focused on the selection of adequate Knowledge-Representation Systems (KRSs) for research applications. When I started working at the ...