6047 search results - page 701 / 1210 » Modeling with Extend |
180
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
172
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Recently, Dementhon 0 Davis [2] proposed a method for determining the pose of a 3-0 object with respect to a camera from 3-D to 2-0 point correspondences. The method consists of i...
189
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Language alignment is something that happens automatically in dialogues between human speakers. The ability to align is expected to increase the believability of virtual dialogue ...
191
click to vote
VMCAI
2005
Springer
16 years 16 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
207
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...