1280 search results - page 193 / 256 » Soft Typing with Conditional Types |
138
Voted
IJCAI
2007
15 years 4 months ago
2007
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
130
click to vote
NIPS
2008
15 years 4 months ago
2008
EEG connectivity measures could provide a new type of feature space for inferring a subject's intention in Brain-Computer Interfaces (BCIs). However, very little is known on ...
96
Voted
MASCOTS
2007
15 years 4 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
129
click to vote
NIPS
2007
15 years 4 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...
119
Voted
AAAI
2004
15 years 4 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...