2044 search results - page 161 / 409 » System theory for numerical analysis |
168
click to vote
COMPUTER
1999
15 years 6 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
184
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
156
click to vote
JAIR
2006
15 years 6 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
165
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
149
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
: © Performance Analysis for Blind Identification of Acoustic Channels Majid Fozunbal HP Laboratories HPL-2009-333 Audio, acoustic systems, blind identification, dereverberation, ...