Sciweavers

4324 search results - page 516 / 865
» A Generalized Representer Theorem
Sort
View
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 25 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
ICDIM
2006
IEEE
16 years 25 days ago
A Framework for the Encoding of Multilayered Documents
Electronic publishing of material digitized using imaging and OCR calls for a special delivery format capable of reconstructing original documents in a well-usable electronic form...
Youssef Eldakar, Noha Adly, Magdy Nagi
IJCNN
2006
IEEE
16 years 24 days ago
Recognizing Human Emotion from Partial Facial Features
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...
Jia-Jun Wong, Siu-Yeung Cho
APLAS
2006
ACM
16 years 23 days ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
MOBIDE
2006
ACM
16 years 22 days ago
Evaluation of probabilistic queries in moving objects databases
The representation of moving objects in spatial database systems has become an important research topic in recent years. As it is not realistic to track and store the location of ...
Talel Abdessalem, Laurent Decreusefond, José...