445 search results - page 9 / 89 » A Systematic Construction of Abstract Domains |
IJWGS
2010
13 years 6 months ago
2010
Abstract: In this paper, we revisit our approach to construction of semanticlinguistic Feature Vectors (FVs) used to enhance Web search. These FVs are built based on domain semanti...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Experts are capable of performing complex tasks in their specific field of expertise. To do this, they use a vast amount of explicit and tacit domain knowledge. For v...
JCP
2008
13 years 9 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
CORR
2000
Springer
13 years 8 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...