3954 search results - page 138 / 791 » Image-based Model Completion |
148
click to vote
JAPLL
2007
15 years 6 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
197
click to vote
IJCAT
2010
15 years 4 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
207
click to vote
JITECH
2010
15 years 29 days ago
2010
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
170
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Object class models trained on hundreds or thousands of
images have shown to enable robust detection. Transferring
knowledge from such models to new object classes trained
from ...
168
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...