677 search results - page 111 / 136 » Rigorous Object-Oriented Analysis |
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
COLING
1990
13 years 9 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
In this paper the two main definitions of quaternion properness (or second order circularity) are reviewed, showing their connection with the structure of the optimal quaternion ...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract-- We study the problem of total throughput maximization in arbitrary multi-hop wireless networks, with constraints on the total power usage (denoted by PETM), when nodes h...
CAD
2008
Springer
13 years 8 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...