1827 search results - page 273 / 366 » Automatic thesaurus construction |
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
ICECCS
2002
IEEE
14 years 3 months ago
2002
IEEE
Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
ICIP
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a new conceptual framework for summarization that considers the relationship between entities, device properties and user information needs. We summarize using...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract— Tracked mobile robots in the 20 kg size class are under development for applications in urban reconnaissance. For efficient deployment, it is desirable for teams of ro...
IV
2002
IEEE
14 years 3 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...