4836 search results - page 45 / 968 » Exploring the Similarity Space |
139
click to vote
CASCON
2006
15 years 5 months ago
2006
Automatic document classification is an important step in organizing and mining documents. Information in documents is often conveyed using both text and images that complement ea...
126
click to vote
ENTCS
2008
15 years 4 months ago
2008
We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. Thi...
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
128
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
156
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...