13383 search results - page 2280 / 2677 » Abstractions from proofs |
149
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
145
click to vote
SG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...
137
click to vote
SG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Virtual environments (VEs) can be used to study issues related to human navigation, such as spatial knowledge acquisition. In our prior work, we introduced a new locomoti...
150
click to vote
TRIDENTCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....
136
click to vote
TRIDENTCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract. This paper describes AutoNetkit, an auto-configuration tool for complex network emulations using Netkit, allowing large-scale networks to be tested on commodity hardware....