3116 search results - page 403 / 624 » Positively dependent types |
193
Voted
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
The Internet Distance Map Service (IDMaps) [3] provides distance estimates between any pair of hosts connected to the Internet. The IDMaps system comprises two component types: Tr...
158
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
The user expectations for usability and personalization along with decreasing size of handheld devices challenge traditional keypad layout design. We have developed a method for o...
143
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
188
click to vote
BIBM
2009
IEEE
15 years 11 months ago
2009
IEEE
—A typical cell has a size of only 10 µm while it contains about a billion proteins. Transportation of these proteins from their synthesis sites to their target locations within...
163
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
In order to show both a detailed map (Focus) and a widearea map (Context) in one map, we have proposed the Focus+Glue+Context map, a type of fisheye view for mobile maps. A probl...