1598 search results - page 117 / 320 » A Unified Computation Model for Functional and Logic Program... |
170
click to vote
MP
1998
15 years 5 months ago
1998
In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...
164
click to vote
HYBRID
2010
Springer
16 years 20 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
144
click to vote
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
149
click to vote
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
140
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...