Sciweavers

21108 search results - page 63 / 4222
» A General Class of Models of
Sort
View
108
Voted
AIMSA
2006
Springer
15 years 7 months ago
A Formal General Setting for Dialogue Protocols
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...
Leila Amgoud, Sihem Belabbes, Henri Prade
117
Voted
ECCV
2010
Springer
15 years 9 months ago
A Discriminative Latent Model of Object Classes and Attributes
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
IPPS
2007
IEEE
15 years 10 months ago
Scheduling in the Z-Polyhedral Model
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
Gautam Gupta, DaeGon Kim, Sanjay V. Rajopadhye
119
Voted
ICPR
2002
IEEE
16 years 5 months ago
Modeling Object Classes in Aerial Images Using Texture Motifs
We propose a canonical model for object classes in aerial images. This model is motivated by the observation that geographic regions of interest are characterized by collections o...
Sitaram Bhagavathy, Shawn Newsam, B. S. Manjunath
FASE
2010
Springer
15 years 10 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller