4460 search results - page 551 / 892 » Formal methods for interactive systems |
222
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
180
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
194
click to vote
KDD
2005
ACM
16 years 5 days ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...
183
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
In this paper, the problem of decentralized adaptive output-feedback stabilization is investigated for large-scale stochastic nonlinear systems with three types of uncertainties, ...
136
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We describe a new input method that utilizes patterned vibration that is generated through the finger writing on a textured pad. Using a flexible or a foldable textured pad which ...