Sciweavers

19130 search results - page 411 / 3826
» Modelling multi-path problems
Sort
View
EDOC
2008
IEEE
16 years 1 months ago
A Semantic Foundation for Role-Related Concepts in Enterprise Modelling
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
João Paulo A. Almeida, Giancarlo Guizzardi
AUSAI
2005
Springer
16 years 11 days ago
Model Checking Sum and Product
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
TREC
2003
15 years 8 months ago
A Language Modeling Approach to Passage Question Answering
This paper reports our efforts on developing a language modeling approach to passage question answering. In particular, we address the following two problems: (i) generalized lang...
Dell Zhang, Wee Sun Lee
CVPR
2010
IEEE
16 years 3 months ago
A probabilistic image jigsaw puzzle solver
We explore the problem of reconstructing an image from a bag of square, non-overlapping image patches, the jigsaw puzzle problem. Completing jigsaw puzzles is challenging and requ...
Taeg Sang Cho, Shai Avidan, William Freeman
CONTEXT
2007
Springer
16 years 1 months ago
The Role of Context in Image Interpretation
The problem we address in this paper is the role of context in the interpretation of images when pictures are used as queries. An image usually depicts several objects and is open...
Dag Elgesem, Joan C. Nordbotten