17366 search results - page 213 / 3474 » New Revision Algorithms |
126
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Althou...
139
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...
131
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
138
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
An interprocedural flow analysis can justify inlining in higher-order languages. In principle, more inlining can be performed as analysis accuracy improves. This paper compares fo...
114
Voted
CAD
2006
Springer
15 years 4 months ago
2006
Springer
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...