4276 search results - page 777 / 856 » Computability of Probability Distributions and Distribution ... |
166
click to vote
ICSOC
2007
Springer
16 years 10 days ago
2007
Springer
Service discovery is a fundamental concept underpinning the move towards dynamic service-oriented business partnerships. The business process for integrating service discovery and ...
168
click to vote
ISSAC
2007
Springer
16 years 10 days ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
156
click to vote
PVM
2007
Springer
16 years 9 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
138
click to vote
SG
2007
Springer
16 years 9 days ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...
151
click to vote
DATE
2006
IEEE
16 years 7 days ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...