4276 search results - page 777 / 856 » Computability of Probability Distributions and Distribution ... |
133
click to vote
ICSOC
2007
Springer
15 years 10 months 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 ...
137
Voted
ISSAC
2007
Springer
15 years 10 months 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...
130
Voted
PVM
2007
Springer
15 years 10 months 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...
110
click to vote
SG
2007
Springer
15 years 10 months 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...
123
Voted
DATE
2006
IEEE
15 years 9 months 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...