1445 search results - page 175 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
114
click to vote
FPCA
1989
15 years 6 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
122
Voted
CAGD
2008
15 years 2 months ago
2008
In this paper, we describe a method for exact evaluation of a limit mesh defined via subdivision and its associated tangent vectors on a uniform grid of any size. Other exact eval...
129
Voted
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
117
click to vote
KI
2008
Springer
15 years 2 months ago
2008
Springer
Ambient Intelligent (AmI) environments are supposed to act proactively anticipating the user's needs and preferences, therefore the capability of an AmI system to learn those ...
121
Voted
ACL
2006
15 years 4 months ago
2006
This paper shows that a simple two-stage approach to handle non-local dependencies in Named Entity Recognition (NER) can outperform existing approaches that handle non-local depen...