225 search results - page 4 / 45 » Synthesizing Objects |
PLDI
2010
ACM
14 years 17 days ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
APN
2010
Springer
14 years 9 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
VISUALIZATION
1991
IEEE
13 years 11 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
GECCO
2008
Springer
2008
Springer
Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system
13 years 8 months ago
Initial results of an experiment devised to combine Bond-Graph modeling and simulation with genetic programming for automated design of a simple mechatronic system are reported in...
SYNTHESE
2008
13 years 7 months ago
2008
Many assume that we can be responsible only what is voluntary. This leads to puzzlement about our responsibility for our beliefs, since beliefs seem not to be voluntary. I argue ag...