7961 search results - page 295 / 1593 » Input-Output Model Programs |
122
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
141
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
117
click to vote
SIGADA
1993
Springer
15 years 8 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
132
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, an input/output system identification technique for the Wiener-Hammerstein model and its feedback extension is proposed. In the proposed framework, the identificatio...
155
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...