4770 search results - page 72 / 954 » Flexible Type Analysis |
142
click to vote
EDBT
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
157
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
165
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
118
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, the concept of the ’robust arm configuration’ (RAC) is expanded using a mode shape compensator. This compensator improves the robustness of the arm configu...
118
click to vote
ENTCS
2008
15 years 4 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr