677 search results - page 111 / 136 » Rigorous Object-Oriented Analysis |
84
Voted
EACL
1989
ACL Anthology
15 years 1 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...
117
Voted
COLING
1990
15 years 1 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...
82
Voted
ICASSP
2010
IEEE
15 years 28 days 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 ...
127
click to vote
GLOBECOM
2008
IEEE
15 years 26 days 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...
109
Voted
CAD
2008
Springer
15 years 25 days 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...