Sciweavers

3305 search results - page 465 / 661
» Models and Modeling Infrastructures for Global Computational...
Sort
View
ACCV
2009
Springer
15 years 10 months ago
Efficient Classification of Images with Taxonomies
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
Alexander Binder, Motoaki Kawanabe, Ulf Brefeld
APN
2006
Springer
15 years 10 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
ICPR
2010
IEEE
15 years 10 months ago
Scene Text Extraction with Edge Constraint and Text Collinearity
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...
Seonghun Lee, Kyomin Jung, Jin Hyung Kim
CVPR
2008
IEEE
15 years 8 months ago
Adaptive region intensity based rigid ultrasound and CT image registration
Rigid registration of intraoperative ultrasound (US) and CT is an important technique to provide real-time guidance for preoperative images and models. Due to the speckle noise an...
Zhijun Zhang
AGI
2008
15 years 8 months ago
LIDA and a Theory of Mind
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...
David Friedlander, Stan Franklin