7892 search results - page 1496 / 1579 » Programming with Models |
116
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
100
Voted
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
Automatic image annotation automatically labels image content with semantic keywords. For instance, the Relevance Model estimates the joint probability of the keyword and the imag...
110
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
112
click to vote
APCSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
101
click to vote
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...