9110 search results - page 1456 / 1822 » Formally-Based Design Evaluation |
179
click to vote
AVI
1996
15 years 8 months ago
1996
The Table Lens is a visualization for searching for patterns and outliers in multivariate datasets. It supports a lightweight form of exploratory data analysis (EDA) by integratin...
200
click to vote
FORTE
1996
15 years 8 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
185
click to vote
WEBIST
2007
15 years 8 months ago
2007
Content Management Systems and Web Portal Frameworks are more and more widely adopted in Web development. Those kinds of software often produce Web pages whose layout is divided in...
172
click to vote
ACISICIS
2010
IEEE
15 years 7 months ago
2010
IEEE
In this research, we present a system that can support object gestures in ubiquitous environment. We propose various techniques to use any object around users for devices and appli...
204
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...