8874 search results - page 191 / 1775 » A New Implementation of Automath |
136
click to vote
EUROPAR
2009
Springer
15 years 2 months ago
2009
Springer
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...
129
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
153
click to vote
ICSOC
2009
Springer
15 years 2 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...
187
click to vote
IMCSIT
2010
15 years 1 months ago
2010
Recently we have setup the goal of investigating new truly distributed forms of Ant Colony Optimization. We proposed a new distributed approach for Ant Colony Optimization (ACO) al...
151
click to vote
JMLR
2010
14 years 11 months ago
2010
It is probably fair to say that exact inference in graphical models is considered a solved problem, at least regarding its computational complexity: it is exponential in the treew...