Sciweavers

1941 search results - page 233 / 389
» On the Hardness of Approximate Reasoning
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
INTETAIN
2009
Springer
16 years 29 days ago
Turning Shortcomings into Challenges: Brain-Computer Interfaces for Games
In recent years we have seen a rising interest in brain-computer interfacing for human-computer interaction and potential game applications. Until now, however, we have almost only...
Anton Nijholt, Boris Reuderink, Danny Oude Bos
EDBTW
2010
Springer
16 years 27 days ago
SPARQL query rewriting for implementing data integration over linked data
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
Gianluca Correndo, Manuel Salvadores, Ian Millard,...
CSFW
2008
IEEE
16 years 27 days ago
Language Based Secure Communication
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
Michele Bugliesi, Riccardo Focardi
ICARCV
2008
IEEE
199views Robotics» more  ICARCV 2008»
16 years 26 days ago
Error propagation suppression in Self-servo Track Writer by time-domain control design
—Control design of Self-servo Track Writer (SSTW) has become an important issue in Hard Disk Drive research. This paper discusses the error propagation problem in SSTW control. A...
Sehoon Oh, Yoichi Hori