3954 search results - page 100 / 791 » Image-based Model Completion |
139
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
126
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
121
click to vote
IVC
2008
15 years 4 months ago
2008
Object recognition is one of the most important tasks of the visual cortex. Even though it has been closely studied in the field of computer vision and neuroscience, the underlyin...
155
click to vote
POPL
2012
ACM
14 years 14 days ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
114
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...