275 search results - page 25 / 55 » On the Learnability of i*: Experiences from a New Teacher |
KDD
2003
ACM
15 years 11 months ago
2003
ACM
Classification is a well-established operation in text mining. Given a set of labels A and a set DA of training documents tagged with these labels, a classifier learns to assign l...
119
click to vote
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
A team-based competitive environment is a complex multiagent environment, in which agents are required to coordinate with each other not only to enhance their collective behavior,...
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In prior work on multiprocessor fairness, efficient techniques with provable properties for reallocating spare processing capacity have been elusive. In this paper, we address thi...