1734 search results - page 330 / 347 » its 2000 |
TACAS
2000
Springer
14 years 4 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
VISUALIZATION
2000
IEEE
14 years 4 days ago
2000
IEEE
We present an algorithm for automatically classifying the interior and exterior parts of a polygonal model. The need for visualizing the interiors of objects frequently arises in ...
VLDB
2000
ACM
14 years 4 days ago
2000
ACM
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...
ICIA
2007
13 years 11 months ago
2007
Mobile recommender systems have the potential to substantially enrich tourist experiences. As their handling marks a big challenge for ordinary users, its acceptance can only be e...
LISA
2008
13 years 11 months ago
2008
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...