Sciweavers

6598 search results - page 308 / 1320
» Graph Theory with Applications
Sort
View
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
A cognitive schema approach to diagnose intuitiveness: an application to onboard computers
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
Sandrine Fischer, Makoto Itoh, Toshiyuki Inagaki
APLAS
2005
ACM
16 years 6 days ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
APN
2005
Springer
16 years 5 days ago
The (True) Concurrent Markov Property and Some Applications to Markov Nets
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
Samy Abbes
IUI
2004
ACM
16 years 2 days ago
Classifying and assessing tremor movements for applications in man-machine intelligent user interfaces
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
Dan Marius Dobrea, Horia-Nicolai L. Teodorescu
FATES
2003
Springer
15 years 12 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw