Sciweavers

1416 search results - page 98 / 284
» An Exact Interpretation of While
Sort
View
195
Voted
CIKM
2005
Springer
16 years 15 days 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...
184
Voted
ICCBR
2005
Springer
16 years 15 days 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
16 years 14 days 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
16 years 14 days 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»
16 years 14 days 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,...