3742 search results - page 497 / 749 » On the Use of Formal Techniques for Validation |
212
click to vote
STAIRS
2008
15 years 8 months ago
2008
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
139
click to vote
COLING
1996
15 years 8 months ago
1996
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
177
click to vote
TOSEM
2002
15 years 6 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
166
click to vote
PRL
2007
15 years 6 months ago
2007
In this paper, we present a novel methodology to detect and recognize objects in cluttered scenes by proposing boosted contextual descriptors of landmarks in a framework of multi-...
198
click to vote
IJON
2008
15 years 5 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...