746 search results - page 116 / 150 » On the Generation of Oriented Matroids |
130
click to vote
ICCAD
2006
IEEE
15 years 8 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...
136
click to vote
IEEESCC
2006
IEEE
15 years 8 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...
108
click to vote
IROS
2006
IEEE
15 years 8 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...
132
click to vote
SSDBM
2006
IEEE
15 years 8 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...
100
click to vote
AH
2006
Springer
15 years 8 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...