Sciweavers

3830 search results - page 256 / 766
» From Reference Model to Component Model
Sort
View
SEFM
2005
IEEE
15 years 12 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
MVA
1996
122views Computer Vision» more  MVA 1996»
15 years 7 months ago
Object Recognition from Range Images Using Superquadric Representations
Segmentation of range images using superquadric entities has been pointed out by a number of researchers as a powerful approach towards object recognition. Problems exist in findi...
Erik R. van Dop, Paul P. L. Regtien
MOC
2010
15 years 1 months ago
Multigrid in a weighted space arising from axisymmetric electromagnetics
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
Dylan M. Copeland, Jayadeep Gopalakrishnan, Minah ...
EMNLP
2011
14 years 6 months ago
Bootstrapping Semantic Parsers from Conversations
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
Yoav Artzi, Luke S. Zettlemoyer
170
Voted
ICIP
2008
IEEE
16 years 8 months ago
Using sensor pattern noise for camera model identification
Sensor photo-response non-uniformity (PRNU) was introduced by Luk?as et al. [1] to solve the problem of digital camera sensor identification. The PRNU is the main component of a c...
Jessica J. Fridrich, Miroslav Goljan, Tomás...