1999 search results - page 110 / 400 » Dependently Typed Grammars |
267
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
In location-based services, it is common for a user to issue a query based on his/her current position. One such example is "find the available cabs within two miles of my cu...
175
click to vote
ICTAI
2009
IEEE
16 years 27 days ago
2009
IEEE
Knowledge plays a central role in intelligent systems. Manual knowledge acquisition is very inefficient and expensive. In this paper, we present (1) an automatic method to acquire...
162
click to vote
DSN
2006
IEEE
16 years 9 days ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
139
click to vote
DNA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Self-assembly is a ubiquitous process in which small objects selforganize into larger and complex structures. In 2000, Rothemund and Winfree proposed a Tile Assembly Model...
150
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...