5350 search results - page 673 / 1070 » Space and time in eco-ontologies |
164
click to vote
AAAI
2008
15 years 9 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
173
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
As computers inevitably begin to replace humans as the drivers of automobiles, our current human-centric traffic management mechanisms will give way to hyper-efficient systems and...
217
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
202
click to vote
3DIM
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider the problem of geometric integration and representation of multiple views of non-rigidly deforming 3D surface geometry captured at video rate. Instead of treating each...
177
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...