17543 search results - page 3470 / 3509 » Stochastic Optimization Algorithms |
135
Voted
ECMDAFA
2010
Springer
15 years 6 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
119
Voted
EENERGY
2010
15 years 6 months ago
2010
Energy consumption of the Internet is already substantial and it is likely to increase as operators deploy faster equipment to handle popular bandwidthintensive services, such as ...
120
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
134
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Emotion recognition from facial images is a very active research topic in human computer interaction (HCI). However, most of the previous approaches only focus on the fro...
116
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...