2631 search results - page 417 / 527 » A Practical Method for the Sparse Resultant |
AIED
2009
Springer
14 years 3 months ago
2009
Springer
Traditional methods of dental surgical skills training and assessment are being challenged by complications such as unavailability of expert supervision and the subjective manner o...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Coordination of multiple agents under uncertainty in the decentralized POMDP model is known to be NEXP-complete, even when the agents have a joint set of goals. Nevertheless, we s...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
It is well known that anchor text plays a critical role in a variety of search tasks performed over hypertextual domains, including enterprise search, wiki search, and web search....