4485 search results - page 314 / 897 » Equivalences on Observable Processes |
136
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
134
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...
119
Voted
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The role of space is more and more accepted as a way to dramatically improve the success of coevolutionary function approximation. The process behind this success however is not y...
138
click to vote
APWEB
2005
Springer
15 years 10 months ago
2005
Springer
Multiresolution (or multi-scale) techniques make it possible for Web-based GIS applications to access large dataset. The performance of such systems relies on data transmission ove...
136
click to vote
PG
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a method for the adaptive reconstruction of a surface directly from an unorganized point cloud. The algorithm is based on an incrementally expanding Neural Network and ...