6141 search results - page 274 / 1229 » Models and representation of their ownership |
162
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
158
click to vote
WSCG
2004
15 years 8 months ago
2004
This paper presents a fast algorithm for generating triangle strips from triangulated meshes, providing a compact representation suitable for transmission and rendering of the mod...
177
click to vote
PAMI
2006
15 years 6 months ago
2006
High dimensional structured data such as text and images is often poorly understood and misrepresented in statistical modeling. The standard histogram representation suffers from ...
164
click to vote
CCE
2004
15 years 6 months ago
2004
An overview of developments in the scheduling of multiproduct/multipurpose batch and continuous processes is presented. Existing approaches are classified based on the time repres...
176
click to vote
AGI
2011
14 years 10 months ago
2011
Intelligence is a multidimensional problem of which physical reasoning and physical knowledge are important dimensions. However, there are few resources of physical knowledge that ...