3116 search results - page 403 / 624 » Positively dependent types |
212
click to vote
ISCC
2003
IEEE
16 years 14 days 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...
180
click to vote
IUI
2003
ACM
16 years 13 days 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...
155
click to vote
FOSSACS
2003
Springer
16 years 12 days 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 ...
206
click to vote
BIBM
2009
IEEE
16 years 9 days 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...
184
click to vote
AINA
2010
IEEE
16 years 9 days 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...