10890 search results - page 1769 / 2178 » Automatic Complexity Analysis |
182
click to vote
UMUAI
2010
15 years 5 months ago
2010
Information about interactive virtual environments, such as games, is perceived by users through a virtual camera. While most interactive applications let users control the camera,...
190
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Router syslogs are messages that a router logs to describe a wide range of events observed by it. They are considered one of the most valuable data sources for monitoring network ...
179
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
168
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
228
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...