Sciweavers

2697 search results - page 57 / 540
» Developing Gestural Input
Sort
View
IEEEARES
2010
IEEE
15 years 11 months ago
Investigating the Limitations of Java Annotations for Input Validation
—Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security....
Federico Mancini, Dag Hovland, Khalid A. Mughal
NIPS
2004
15 years 5 months ago
Support Vector Classification with Input Data Uncertainty
This paper investigates a new learning model in which the input data is corrupted with noise. We present a general statistical framework to tackle this problem. Based on the stati...
Jinbo Bi, Tong Zhang
AUTOMATICA
2007
89views more  AUTOMATICA 2007»
15 years 4 months ago
Unbiased minimum-variance input and state estimation for linear discrete-time systems
This paper addresses the problem of simultaneously estimating the state and the input of a linear discrete-time system. A recursive filter, optimal in the minimum-variance unbias...
Steven Gillijns, Bart De Moor
ACL2
2006
ACM
15 years 10 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
ICWE
2009
Springer
15 years 10 months ago
A Conceptual Framework for User Input Evaluation in Rich Internet Applications
The more complex an application’s user interface is, the more important is the need to guide users filling out the forms—typically by highlighting invalid input, showing/hidin...
Matthias Book, Tobias Brückmann, Volker Gruhn...