Sciweavers

3053 search results - page 332 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 7 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ACL
2006
15 years 5 months ago
Semi-Supervised Conditional Random Fields for Improved Sequence Segmentation and Labeling
We present a new semi-supervised training procedure for conditional random fields (CRFs) that can be used to train sequence segmentors and labelers from a combination of labeled a...
Feng Jiao, Shaojun Wang, Chi-Hoon Lee, Russell Gre...
MASSDATA
2007
Springer
15 years 10 months ago
A General Approach to Shape Characterization for Biomedical Problems
Abstract. In this paper, we present a general approach to shape characterization and deformation analysis of 2D/3D deformable visual objects. In particular, we define a reference ...
Davide Moroni, Petra Perner, Ovidio Salvetti
ICMCS
1996
IEEE
135views Multimedia» more  ICMCS 1996»
15 years 8 months ago
Spatio-Temporal Indexing for Large Multimedia Applications
Multimedia applications usually involve a large number of multimedia objects (texts, images, sounds etc.). Spatial and temporal relationships among these objects should be efficie...
Yannis Theodoridis, Michalis Vazirgiannis, Timos K...
HERCMA
2001
141views Mathematics» more  HERCMA 2001»
15 years 5 months ago
Towards an ISO-9000 compliant certification service provider
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
Dimitrios Lekkas, Stefanos Gritzalis, Sokratis K. ...