535 search results - page 72 / 107 » Do we need dependent types |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Software has jumped "out of the box" ? it controls critical systems, pervades business and commerce, and infuses entertainment, communication, and other everyday activiti...
PODS
2006
ACM
14 years 7 months ago
2006
ACM
We propose a novel approach to the classical view update problem. The view update problem arises from the fact that modifications to a database view may not correspond uniquely to...
EOR
2006
13 years 7 months ago
2006
The repair kit problem is that of finding the optimal set of parts in the kit of a repairman. An important aspect of this problem, in many real-life situations, is that several jo...
TPDS
2008
13 years 7 months ago
2008
The efficiency of Peer-to-Peer (P2P) systems is largely dependent on the overlay constructions. Due to the random selection of logical neighbors, there often exists serious topolog...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...