8719 search results - page 260 / 1744 » A Categorical Approach to Simulations |
217
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
186
click to vote
ESTIMEDIA
2003
Springer
15 years 12 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
148
click to vote
FIDJI
2003
Springer
15 years 12 months ago
2003
Springer
Spontaneous multihop networks with high device mobility and frequent fluctuations are interesting platforms for future distributed applications. Because of the large number of mob...
161
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
154
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...