4211 search results - page 586 / 843 » A formal approach to MASQ |
166
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an interdisciplinary approach which brings together the fields of corpus linguistics and translation studies. It presents ongoing work on the creation of a co...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
166
click to vote
FMSD
2006
15 years 6 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
164
click to vote
IANDC
2006
15 years 6 months ago
2006
Dynamic Programming solves combinatorial optimization problems by recursive decomposition and tabulation of intermediate results. The first step in the design of a dynamic program...
162
Voted
COMPLEXITY
2007
15 years 6 months ago
2007
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysti...