535 search results - page 104 / 107 » Do we need dependent types |
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
We derive a new class of photometric invariants that can be used for a variety of vision tasks including lighting invariant material segmentation, change detection and tracking, a...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we discuss the performance of different profiles of VDSL2 systems in a frequency range up to 12 MHz (bandplan 998 and 997, corresponding to the European region) u...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
BTW
2003
Springer
14 years 23 days ago
2003
Springer
: In most commercial enterprises, information is scattered across a large number of (legacy) data stores. Moreover, it is nearly impossible to obtain funding to replace these data ...
ICCS
2003
Springer
14 years 22 days ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...