Sciweavers

1416 search results - page 98 / 284
» An Exact Interpretation of While
Sort
View
CIKM
2005
Springer
15 years 3 months ago
Establishing value mappings using statistical models and user feedback
In this paper, we present a “value mapping” algorithm that does not rely on syntactic similarity or semantic interpretation of the values. The algorithm first constructs a st...
Jaewoo Kang, Tae Sik Han, Dongwon Lee, Prasenjit M...
ICCBR
2005
Springer
15 years 3 months ago
Retrieval and Configuration of Life Insurance Policies
When searching for the right life insurance product, one can either confide in her/his insurance broker or fill out lengthy questionnaires at Internet Portal sites before gathering...
Alexander Tartakovski, Martin Schaaf, Ralph Bergma...
IJCNLP
2005
Springer
15 years 3 months ago
A Connectionist Model of Anticipation in Visual Worlds
Recent “visual worlds” studies, wherein researchers study language in context by monitoring eye-movements in a visual scene during sentence processing, have revealed much about...
Marshall R. Mayberry, Matthew W. Crocker, Pia Knoe...
POLICY
2005
Springer
15 years 3 months ago
A Model for Usage Policy-Based Resource Allocation in Grids
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
Catalin Dumitrescu, Michael Wilde, Ian T. Foster
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
15 years 3 months ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...