1582 search results - page 156 / 317 » Mathematical Tools for Physics |
178
click to vote
ECCV
1994
Springer
15 years 10 months ago
1994
Springer
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...
161
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
168
click to vote
ICNP
1998
IEEE
15 years 9 months ago
1998
IEEE
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
127
click to vote
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
165
click to vote
VR
2000
IEEE
15 years 9 months ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...