13151 search results - page 567 / 2631 » Position based dynamics |
185
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
209
click to vote
COCOA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...
192
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discove...
187
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Automated event extraction remains a very difficult challenge requiring information analysts to manually identify key events of interest within massive, dynamic data. Many techniq...
208
click to vote
GFKL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...