1982 search results - page 233 / 397 » Parametricity and dependent types |
152
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
169
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
The prevailing approach to evaluating classifiers in the machine learning community involves comparing the performance of several algorithms over a series of usually unrelated data...
167
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper presents a similarity measure that combines low-level trajectory information with geographical domain knowledge to compare vessel trajectories. The similarity ...
145
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
16:30 Generating and Validating Abstracts of Meeting Conversations: a User Study. Gabriel Murray, Giuseppe Carenini and Raymond Ng 16:30 - 16:45 Break Session 3: Sentence Level Gen...
170
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...