535 search results - page 99 / 107 » Do we need dependent types |
CASON
2010
IEEE
12 years 11 months ago
2010
IEEE
—The analysis of social networks is concentrated especially on uncovering hidden relations and properties of network members (vertices). Most of the current approaches are focuse...
CASCON
2001
13 years 9 months ago
2001
On Line Analytical Processing (OLAP) aims at gaining useful information quickly from large amounts of data residing in a data warehouse. To improve the quickness of response to qu...
COLING
2007
13 years 7 months ago
2007
eneral, the notion that computation in a serious sense, not just as some highly abstract grounding or, maybe, politically correct meta-reference, has something important to say to ...
BMCBI
2005
13 years 7 months ago
2005
Background: Good statistical models for analyzing and simulating multilocus recombination data exist but are not accessible to many biologists because their use requires reasonabl...
RAS
2008
13 years 7 months ago
2008
The task of trajectory design of autonomous vehicles is typically two-fold. First, it needs to take into account the intrinsic dynamics of the vehicle, which are sometimes termed ...