440 search results - page 83 / 88 » Local reasoning for abstraction and sharing |
105
click to vote
IJCV
2006
15 years 1 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...
136
click to vote
JUCS
2008
15 years 1 months ago
2008
Abstract: Although immense efforts have been invested in the construction of hundreds of learning object repositories, the degree of reuse of learning resources maintained in such ...
120
click to vote
ICDM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Randomization is a general technique for evaluating the significance of data analysis results. In randomizationbased significance testing, a result is considered to be in...
139
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
112
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...