2297 search results - page 377 / 460 » An Algorithm for Computing the Integral Closure |
136
click to vote
RSP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
119
Voted
HRI
2006
ACM
15 years 8 months ago
2006
ACM
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
112
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
147
Voted
ISPD
2005
ACM
15 years 8 months ago
2005
ACM
We streamline and extend APlace, the general analytic placement engine based on ideas of Naylor et al. [7] and described in [3, 4, 5]. Previous work explored the adaptability of A...
118
Voted
SIGIR
2005
ACM
15 years 8 months ago
2005
ACM
Finding a proper distribution of translation probabilities is one of the most important factors impacting the effectiveness of a crosslanguage information retrieval system. In th...