5718 search results - page 743 / 1144 » Modeling Rule Precision |
178
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
It is well known that perspective alignment plays a major role in the planning and interpretation of spatial language. In order to understand the role of perspective alignment and...
186
click to vote
DEBU
2006
15 years 7 months ago
2006
The Web contains a vast amount of text that can only be queried using simple keywords-in, documentsout search queries. But Web text often contains structured elements, such as hot...
188
click to vote
ENTCS
2006
15 years 7 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...
345
click to vote
ENTCS
2006
15 years 7 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
173
click to vote
ENTCS
2006
15 years 7 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...