26 search results - page 2 / 6 » sas 2010 |
SAS
2010
Springer
13 years 3 months ago
2010
Springer
CMPB
2010
13 years 2 months ago
2010
: The coefficients of individual agreement (CIA's), which are based on the ratio of the intra- and inter-observer disagreement, provide a general approach for evaluating agree...
AAAI
2010
13 years 6 months ago
2010
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from...
SAS
2010
Springer
13 years 2 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
SAS
2010
Springer
13 years 3 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...