746 search results - page 116 / 150 » On the Generation of Oriented Matroids |
ICCAD
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
IEEESCC
2006
IEEE
14 years 2 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...
SSDBM
2006
IEEE
14 years 2 months ago
2006
IEEE
The detection of correlations between different features in high dimensional data sets is a very important data mining task. These correlations can be arbitrarily complex: One or...
AH
2006
Springer
14 years 2 months ago
2006
Springer
The design of Web applications traditionally relies heavily on the navigation design. The Web as it evolves now brings additional design concerns, such as omni-presence, device-dep...