11484 search results - page 154 / 2297 » Modeling in the Large and Modeling in the Small |
161
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
155
click to vote
ANLP
1997
15 years 7 months ago
1997
Statistical models of word-sense disambiguation are often based on a small number of contextual features or on a model that is assumed to characterize the interactions among a set...
137
click to vote
SWAT
1998
Springer
15 years 10 months ago
1998
Springer
We study the complexity of the motion planning problem for a bounded-reach robot in the situation where the n obstacles in its workspace satisfy two of the realistic models propos...
168
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
193
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Complexity has undesirable effects on, among others, the correctness, maintainability, and understandability of business process models. Yet, measuring complexity of business proce...