10916 search results - page 376 / 2184 » On Constructive Connectives and Systems |
167
Voted
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
189
Voted
LAWEB
2003
IEEE
16 years 29 days ago
2003
IEEE
This work presents methodological aspects related with the development of web-based collaboration systems in Design and Education. Collaboration is highlighted as the fundamental ...
239
Voted
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
212
Voted
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
181
Voted
AUTOMATICA
2006
15 years 7 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 ...