5227 search results - page 710 / 1046 » Enterprise modeling using class and instance models |
179
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
179
click to vote
GMP
2010
IEEE
15 years 11 months ago
2010
IEEE
In this work, we study the spectra and eigenmodes of the Hessian of various discrete surface energies and discuss applications to shape analysis. In particular, we consider a physi...
161
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
180
Voted
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
194
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...