8828 search results - page 354 / 1766 » Formal methods in practice |
176
click to vote
EOR
2007
15 years 6 months ago
2007
In the constraint proposal method a mediator locates points at which the two decision makers have joint tangent hyperplanes. We give conditions under which these points are Pareto...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The objective of this work is to develop and study the robustness of the zero frequency resonator (ZFR) based method for extraction of the fundamental frequency (F0) of speech sig...
181
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
174
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
125
click to vote
BCSHCI
2007
15 years 8 months ago
2007
HCI continues to grow in popularity amongst commercial practitioners, many of whom have no formal training or education in HCI. Conferences, such as HCI 2007, offer an attractive ...