540 search results - page 52 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
EMNLP
2010
14 years 10 months ago
2010
Targeted paraphrasing is a new approach to the problem of obtaining cost-effective, reasonable quality translation that makes use of simple and inexpensive human computations by m...
113
Voted
HCI
2007
15 years 1 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
106
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
125
click to vote
GCC
2007
Springer
15 years 2 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
108
Voted
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...