MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133]." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

727,866 documents found, showing 1 through 10. Next 10 →

ATOM

Multi-modal traffic in TRANSIMS
by Kai Nagel — 2001 — IN: SCHRECKENBERG, M.; SHARMA, S.D. (EDS.), PEDESTRIAN AND EVACUATION DYNAMICS
… information. 3 Multi-modal approach 3.1 Conceptual approach The arguably best starting point for getting a…
Cited by 1 (0 self) – Add To MetaCart

Undecidability of multi-modal hybrid logics
by Martin Mundhenk, Thomas Schneider — 2006 — in: International Workshop on Hybrid Logic (HyLo 2006), 2006
…Undecidability of Multi-modal Hybrid Logics Martin Mundhenk 1 Thomas Schneider 2 Institut für…
Cited by 1 (1 self) – Add To MetaCart

Multi-Modal Control of Systems with Constraints
by T. John Koo, George J. Pappas, Shankar Sastry — 2001
… of California Berkeley, CA 94720 koo@(email omitted); Abstract In multi-modal control paradigm, a set…
Add To MetaCart

The WITAS Multi-Modal Dialogue System I
by Oliver Lemon, Anne Bracy, Alexander Gruenstein, Stanley Peters — 2001
…, but for the NL agent (Prolog). 3 Nuance: www.nuance.com Figure 1: A demonstration of dialogue system I Multi-modal…
Cited by 13 (1 self) – Add To MetaCart

Feature Selection for Multi-Modal Image
by Registration Using Mutual, Víctor Rodríguez Gil, Víctor Rodríguez Gil — 2002
… in multi-modality when there is enough similarity between images, like in MRI T1 and T2 images…
Add To MetaCart

Miscommunication in Multi-modal Collaboration
by David R. Traum, Pierre Dillenbourg — 1996 — AAAI Workshop on Detecting, Repairing, And Preventing Human--Machine Miscommunication
… of predictive model of grounding behavior in a multi-modal context, and relate the grounding process to repair…
Cited by 13 (2 self) – Add To MetaCart

M4M 2007 Completeness and complexity of multi-modal CTL
by unknown authors
…,mjw}@(email omitted); We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path…
Add To MetaCart

Towards Seamless Integration in a Multi-modal Interface
by Dennis Perzanowski William, William Adams, Alan C. Schultz, Elaine Marsh — 2000 — In Proceedings of the Workshop on Interactive Robotics and Entertainment (Carnegie Mellon University). Menlo Park: AAAI
… Action Figure 2: Schematic Overview of Multi-modal Interface Processing a Gesture Input? Camera Gesture…
Add To MetaCart

Multi-modal Identity Verification using Support Vector Machines (SVM)
by B. Gutschoven, P. Verlinde — 2000 — in Proc. of the Intl. Conf. on Information Fusion, FUSION
… of a multi-modal identity verification system as a particular classification problem, (2) to propose…
Cited by 8 (0 self) – Add To MetaCart

Specification with Multi-Modal Logics Language Summary
by Cofi Tentative, Document Modalcasl Summary, Till Mossakowski — 2004
… on, this document will be extended with special syntax for temporal logics. 1.2 Signatures A Modal…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB