5482 search results - page 446 / 1097 » Logic Programming and Databases |
203
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
180
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper deals with the competitive location problems using fuzzy sets. The basic notions on fuzzy optimization and linear programming using fuzzy sets are briefly reviewed. The ...
184
click to vote
EMSOFT
2005
Springer
16 years 13 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
192
click to vote
PASTE
2004
ACM
16 years 9 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
169
click to vote
AAAI
2008
15 years 9 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...