Sciweavers

7984 search results - page 1325 / 1597
» Exploring personal information
Sort
View
115
Voted
IMR
2004
Springer
15 years 9 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
125
Voted
MATA
2004
Springer
115views Communications» more  MATA 2004»
15 years 9 months ago
AgentViz: A Visualization System for Mobile Agents
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...
Ken Deeter, Son T. Vuong
SPIN
2004
Springer
15 years 9 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
VLDB
2004
ACM
111views Database» more  VLDB 2004»
15 years 9 months ago
A Framework for Using Materialized XPath Views in XML Query Processing
XML languages, such as XQuery, XSLT and SQL/XML, employ XPath as the search and extraction language. XPath expressions often define complicated navigation, resulting in expensive...
Andrey Balmin, Fatma Özcan, Kevin S. Beyer, R...
SIGCSE
2010
ACM
231views Education» more  SIGCSE 2010»
15 years 9 months ago
Implementing studio-based learning in CS2
This paper presents an experience in designing, implementing, and evaluating a studio-based learning model for CS2. Adapted from architecture and art education, as well as from co...
T. Dean Hendrix, Lakshman Myneni, N. Hari Narayana...
« Prev « First page 1325 / 1597 Last » Next »