11716 search results - page 370 / 2344 » Computable symbolic dynamics |
199
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
174
click to vote
JVCIR
2007
15 years 6 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
130
click to vote
IEEESCC
2006
IEEE
16 years 25 days ago
2006
IEEE
The convergence of smart field devices and business services stands to profoundly change the way we interact with our environment. This is especially true in the home context. In ...
195
click to vote
IEEESCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Dynamic service composition is suitable for on-demand business requests. For autonomic computing, service composition needs to deal with runtime environment faults, but also with ...
354
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...