837 search results - page 70 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
132
click to vote
ICFEM
2009
Springer
15 years 29 days ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
135
click to vote
WCE
2007
15 years 4 months ago
2007
—This paper is concerned with the application of a conversational agent and expert system to provide a natural language interface to a database. Typically, natural language datab...
133
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper proposes a novel approach to constructing a hierarchical representation of visual input that aims to enable recognition and detection of a large number of object catego...
126
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
130
click to vote
RIAO
2000
15 years 4 months ago
2000
Face-to-face meetings usually encompass several modalities including speech, gesture, handwriting, and person identification. Recognition and integration of each of these modaliti...