1389 search results - page 84 / 278 » Lightweight dependent classes |
HASKELL
2006
ACM
14 years 3 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
FPGA
2001
ACM
14 years 2 months ago
2001
ACM
Matching and searching computations play an important role in the indexing of data. These computations are typically encoded in very tight loops with a single index variable and a...
UAI
1994
13 years 11 months ago
1994
Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intell...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
Many recognition algorithms depend on careful positioning of an object into a canonical pose, so the position of features relative to a fixed coordinate system can be examined. Cu...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Differentiated QoS provision in wireless environments via multicarrier energy allocation is examined in this work. Within this framework, differentiated QoS is applied ...