722 search results - page 86 / 145 » A New Framework for Computer Science and Engineering |
118
Voted
ACMSE
2007
ACM
15 years 5 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
103
click to vote
CSR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
158
Voted
ACMSE
2010
ACM
14 years 11 months ago
2010
ACM
This paper presents the framework of a mobile air quality monitoring network, with an in-depth discussion of several new innovative techniques for web-based visualization. These t...
104
click to vote
GI
2009
Springer
14 years 11 months ago
2009
Springer
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
120
click to vote
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...