1950 search results - page 231 / 390 » Lambda-Free Logical Frameworks |
164
click to vote
COLING
2002
15 years 6 months ago
2002
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
182
click to vote
DKE
2010
15 years 4 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
209
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
222
click to vote
TMC
2012
13 years 9 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
176
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
In a previous paper [BMR01], the authors showed that the mechanism underlying Logic Programming can be extended to handle the situation where the atoms are interpreted as subsets o...