3119 search results - page 519 / 624 » Abstract Requirement Analysis in Multiagent System Design |
137
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents an algorithm to generate possible variants for biomedical terms. The algorithm gives each variant its generation probability representing its plausibility, whi...
135
click to vote
CAIP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
127
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Performance analysis for terascale computing requires a combination of new concepts including distribution, on-line processing and automation. As a foundation for tools r...
135
click to vote
IEEESCC
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
141
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...