4378 search results - page 673 / 876 » On the Complexity of Ordered Colourings |
177
click to vote
LOGCOM
2007
15 years 6 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
130
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
161
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
180
click to vote
CPHYSICS
2004
15 years 6 months ago
2004
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
185
click to vote
CVIU
2004
15 years 6 months ago
2004
This paper describes a method to identify partially occluded shapes which are randomly oriented in 3D space. The goal is to match the object contour present in an image with an ob...