Sciweavers

3731 search results - page 371 / 747
» cases 2006
Sort
View
ECTEL
2006
Springer
15 years 8 months ago
A Method for Capitalizing upon and Synthesizing Analyses of Human Interactions
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
Annie Corbel, Jean-Jacques Girardot, Kristine Lund
ERSHOV
2006
Springer
15 years 8 months ago
Verifying Generalized Soundness of Workflow Nets
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova, M...
AAAI
2006
15 years 8 months ago
Improved Bounds for Computing Kemeny Rankings
Voting (or rank aggregation) is a general method for aggregating the preferences of multiple agents. One voting rule of particular interest is the Kemeny rule, which minimizes the...
Vincent Conitzer, Andrew J. Davenport, Jayant Kala...
AAAI
2006
15 years 8 months ago
Identifying and Generating Easy Sets of Constraints for Clustering
Clustering under constraints is a recent innovation in the artificial intelligence community that has yielded significant practical benefit. However, recent work has shown that fo...
Ian Davidson, S. S. Ravi
167
Voted
AAAI
2006
15 years 8 months ago
Using the Semantic Web to Integrate Ecoinformatics Resources
We demonstrate an end-to-end use case of the semantic web's utility for synthesizing ecological and environmental data. ELVIS (the Ecosystem Location Visualization and Inform...
Cynthia Sims Parr, Andriy Parafiynyk, Joel Sachs, ...