2440 search results - page 305 / 488 » Explanation-Based Feature Construction |
175
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
161
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
—Wireless local area network (WLAN) systems are widely implemented today to provide hot spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an ac...
148
Voted
ML
2006
ACM
15 years 11 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
146
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
159
Voted
CAIP
2005
Springer
15 years 10 months ago
2005
Springer
In order to achieve precise, accurate and reliable tracking of human movement, a 3D human model that is very similar to the subject is essential. In this paper, we present a new sy...