376 search results - page 73 / 76 » Developing Theories of Types and Computability via Realizabi... |
DESRIST
2009
Springer
14 years 3 days ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
BMCBI
2007
13 years 7 months ago
2007
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
CVPR
1998
IEEE
14 years 9 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
MOBIHOC
2008
ACM
14 years 7 months ago
2008
ACM
In order to better understand human and animal mobility and its potential effects on Mobile Ad-Hoc networks and Delay-Tolerant Networks, many researchers have conducted experiment...
JUCS
2010
13 years 2 months ago
2010
: We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous fu...