15614 search results - page 155 / 3123 » The State of State |
108
click to vote
TAMODIA
2008
15 years 5 months ago
2008
This paper aims to provide thorough discussion of the aspects that compose the state of a Web application user interface, and show how it can be preserved across multiple devices w...
103
click to vote
FLAIRS
2004
15 years 5 months ago
2004
We apply reasoning about mental attributes to process the scenarios of multiagent conflicts. Our approach is illustrated by the domain of complaint analysis: rather advanced metho...
147
Voted
SEC
2003
15 years 5 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
140
click to vote
BIOINFORMATICS
2010
15 years 4 months ago
2010
Motivation: Tumorigenesis is an evolutionary process by which tumor cells acquire sequences of mutations leading to increased growth, invasiveness, and eventually metastasis. It i...
125
click to vote
AUTOMATICA
2006
15 years 3 months ago
2006
: This paper deals with a new type of estimator for discrete-time linear systems with unknown inputs. A constructive algorithm is given in order to analyze the state observability ...