12 search results - page 1 / 3 » Visual Exploration of Generation Algorithms for Finite Autom... |
WIA
2000
Springer
13 years 8 months ago
2000
Springer
ITICSE
2004
ACM
13 years 10 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
ECOWS
2008
Springer
13 years 6 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
NIPS
2003
13 years 5 months ago
2003
We explore the phenomena of subjective randomness as a case study in understanding how people discover structure embedded in noise. We present a rational account of randomness per...
EUROGRAPHICS
2010
Eurographics
13 years 11 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...