Sciweavers

580 search results - page 48 / 116
» History-based Tools for Navigation
Sort
View
CSUR
1999
96views more  CSUR 1999»
13 years 8 months ago
Hypermedia on the Web: what will it take?
: Researchers in the hypermedia field often lament that the World Wide Web does not support many of hypermedia's rich structuring, navigation and annotation features. What wou...
Fabio Vitali, Michael Bieber
HCSE
2010
13 years 7 months ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
MODELS
2010
Springer
13 years 7 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
CDC
2010
IEEE
13 years 4 months ago
Trajectory generation using sum-of-norms regularization
Abstract-- Many tracking problems are split into two subproblems, first a smooth reference trajectory is generated that meet the control design objectives, and then a closed loop c...
Henrik Ohlsson, Fredrik Gustafsson, Lennart Ljung,...
WWW
2011
ACM
13 years 4 months ago
OntoTrix: a hybrid visualization for populated ontologies
Most Semantic Web data visualization tools structure the representation according to the concept definitions and interrelations that constitute the ontology’s vocabulary. Insta...
Benjamin Bach, Emmanuel Pietriga, Ilaria Liccardi,...