2278 search results - page 82 / 456 » Specification Techniques for Automatic Performance Analysis ... |
CIVR
2004
Springer
15 years 4 months ago
2004
Springer
There has been much work concentrated on creating accurate shot boundary detection algorithms in recent years. However a truly accurate method of cut detection still eludes researc...
146
Voted
CSAC
2006
15 years 25 days ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
ISBI
2006
IEEE
16 years 4 days ago
2006
IEEE
Fluorescence microscopy is a powerful imaging tool for studying molecular dynamics in living cells. For quantitative motion analysis of subcellular structures robust and accurate ...
112
click to vote
CLEF
2007
Springer
15 years 5 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
100
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...