Sciweavers

1090 search results - page 125 / 218
» Type-Directed Partial Evaluation
Sort
View
BILDMED
2009
179views Algorithms» more  BILDMED 2009»
13 years 12 months ago
Interpolation of Histological Slices by Means of Non-rigid Registration
It is a common approach to create and inspect histological slices to investigate functional and morphological structures on a cellular level. For the easier analysis of the resulti...
Simone Gaffling, Florian Jäger, Volker Daum, ...
AAAI
2010
13 years 11 months ago
Algorithms for Finding Approximate Formations in Games
Many computational problems in game theory, such as finding Nash equilibria, are algorithmically hard to solve. This limitation forces analysts to limit attention to restricted su...
Patrick R. Jordan, Michael P. Wellman

Publication
135views
13 years 12 months ago
Arity Raiser and its Use in Program Specialization
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
Sergei A. Romanenko
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
13 years 11 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
CORR
2008
Springer
135views Education» more  CORR 2008»
13 years 10 months ago
A DCCP Congestion Control Mechanism for Wired- cum-Wireless Environments
Existing transport protocols, be it TCP, SCTP or DCCP, do not provide an efficient congestion control mechanism for heterogeneous wired-cum-wireless networks. Solutions involving i...
Ijaz Haider Naqvi, Tanguy Pérennou