Sciweavers

5336 search results - page 158 / 1068
» Steerable part models
Sort
View
SGAI
2007
Springer
14 years 2 months ago
Learning Sets of Sub-Models for Spatio-Temporal Prediction
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
Andrew Bennett, Derek R. Magee
BIRTHDAY
2005
Springer
14 years 1 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
ICCS
2005
Springer
14 years 1 months ago
A 3D Model Retrieval Method Using 2D Freehand Sketches
In this paper, a method is proposed to retrieve desired 3D models by measuring the similarity between a user’s freehand sketches and 2D orthogonal views generated from 3D models....
Jiantao Pu, Karthik Ramani
WLP
2004
Springer
14 years 1 months ago
Effective Modeling with Constraints
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
Roman Barták
BPM
2003
Springer
102views Business» more  BPM 2003»
14 years 1 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
Peter Lory