3804 search results - page 199 / 761 » From Here to There |
177
click to vote
SEFM
2005
IEEE
16 years 3 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
176
click to vote
IUI
2005
ACM
16 years 2 days ago
2005
ACM
This paper presents a new context-based method for automatic detection and extraction of similar and related words from texts. Finding similar words is a very important task for m...
145
click to vote
XIMEP
2005
ACM
16 years 2 days ago
2005
ACM
We report on a compilation procedure that derives relational algebra plans from arbitrarily nested XQuery FLWOR blocks. While recent research was able to develop relational encodi...
167
click to vote
ACIVS
2005
Springer
16 years 2 days ago
2005
Springer
We describe in this paper the building of a vision sensor able to provide video capture and the associated global motion between two consecutive frames. Our objective is to propose...
149
click to vote
AIME
2005
Springer
16 years 2 days ago
2005
Springer
The National Cancer Institute’s Thesaurus (NCIT) has been created with the goal of providing a controlled vocabulary which can be used by specialists in the various sub-domains o...