2940 search results - page 265 / 588 » Relational Parametricity and Control |
139
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
194
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
196
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Object-oriented databases are a recent and important development and many studies of them have been performed. These consider aspects such as data modeling, query languages, perfo...
159
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
A novel method is developed to obtain a refined estimate of relative position and orientation (pose) from two views captured by a calibrated monocular camera. Due to the typically ...
188
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Transport Control Protocol (TCP) has served as a reliable, self-regulated, and congestion tolerant transport protocol for many Internet applications. Relatively, limited knowledge ...