4770 search results - page 149 / 954 » Flexible Type Analysis |
101
click to vote
MVA
1994
15 years 5 months ago
1994
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...
162
click to vote
FAST
2009
15 years 2 months ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
149
click to vote
PAKDD
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we analyze quantitative measures associated with if-then type rules. Basic quantities are identified and many existing measures are examined using the basic quantit...
145
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we fo...
247
click to vote
APAL
2011
14 years 11 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...