Search Sciweavers | Sciweavers

834 search results - page 17 / 167

» Anaphora and the Logic of Change

click to vote

TREC
2000

166views Information Technology» more TREC 2000»

Syntactic Clues and Lexical Resources in Question-Answering

13 years 10 months ago

Download www.clres.com

CL Research's question-answering system (DIMAP-QA) for TREC-9 significantly extends its semantic relation triple (logical form) technology in which documents are fully parsed...

Kenneth C. Litkowski

claim paper

Read More »

click to vote

ICCD
1993
IEEE

124views Hardware» more ICCD 1993»

Synthesis of Controllers from Interval Temporal Logic Specification

14 years 26 days ago

Download www.ie.u-ryukyu.ac.jp

for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...

Masahiro Fujita, Shinji Kono

claim paper

Read More »

click to vote

ATAL
2005
Springer

141views Intelligent Agents» more ATAL 2005»

Dynamic epistemic logic with assignment

14 years 2 months ago

Download www.cs.huji.ac.il

We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in speciﬁcations of multi-agent system dynamics. ...

Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...

claim paper

Read More »

click to vote

DAC
1994
ACM

92views Computer Architecture» more DAC 1994»

Layout Driven Logic Synthesis for FPGAs

14 years 25 days ago