2245 search results - page 366 / 449 » A Case Study Implementing Features Using AspectJ |
166
click to vote
ICML
1998
IEEE
16 years 7 months ago
1998
IEEE
We study the problem of learning to accurately rank a set of objects by combining a given collection of ranking or preference functions. This problem of combining preferences aris...
160
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
In a traditional keyword-search system in XML data, a user composes a keyword query, submits it to the system, and retrieves relevant subtrees. In the case where the user has limi...
165
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Typical Human Robot Interaction (HRI) assumes that the user explicitly interacts with robots. However, explicit control with robots can be unnecessary or even undesirable in certa...
146
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
143
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...