607 search results - page 84 / 122 » Axiomatizing hybrid logic using modal logic |
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Multicolor fluorescence in-situ hybridization (M-FISH) technique provides color karyotyping that allows simultaneous analysis of numerical and structural abnormalities of whole hu...
103
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
An address generator produces a unique address from 1 to k for the input that matches to one of k registered vectors, and produces 0 for other inputs. This paper presents the supe...
ACL
1989
14 years 11 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...