1738 search results - page 239 / 348 » Matching Reviews to Objects using a Language Model |
127
Voted
ESA
1998
Springer
15 years 7 months ago
1998
Springer
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
162
Voted
TLCA
1995
Springer
15 years 7 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
120
Voted
SCM
1998
15 years 5 months ago
1998
As part of an investigation of scalable development techniques for systems written in the JavaTM programming language, the Forest Project is building JP, a prototype distributed pr...
155
Voted
ICVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
152
Voted
JUCS
2010
14 years 10 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...