1216 search results - page 198 / 244 » Hybrid type checking |
112
Voted
AAAI
2010
15 years 5 months ago
2010
Interactive clustering refers to situations in which a human labeler is willing to assist a learning algorithm in automatically clustering items. We present a related but somewhat...
98
Voted
LREC
2008
15 years 5 months ago
2008
We outline a methodological classification for evaluation approaches of software in general. This classification was initiated partly owing to involvement in a biennial European c...
142
Voted
LREC
2008
15 years 5 months ago
2008
Lexical ontologies and semantic lexicons are important resources in natural language processing. They are used in various tasks and applications, especially where semantic process...
136
Voted
SCAI
2008
15 years 5 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
144
Voted
NIPS
2007
15 years 5 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...