3690 search results - page 539 / 738 » Computation with classical sequents |
133
click to vote
ICEIS
2009
IEEE
16 years 2 days ago
2009
IEEE
Data warehouses have been widely used in various capacities such as large corporations or public institutions. These systems contain large and rich datasets that are often used by ...
150
click to vote
ICRA
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract— Robust ego-motion estimation in urban environments is a key prerequisite for making a robot truly autonomous, but is not easily achievable as there are two motions invo...
137
click to vote
IEEEPACT
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
156
click to vote
LICS
2009
IEEE
16 years 2 days ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
187
click to vote
ACML
2009
Springer
16 years 1 days ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...