Sciweavers

2221 search results - page 139 / 445
» The Importance of Symmetric Representation
Sort
View
FUIN
2007
122views more  FUIN 2007»
14 years 10 months ago
Behaviour Algebras
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
Józef Winkowski
TCSV
2008
189views more  TCSV 2008»
14 years 10 months ago
Machine Recognition of Human Activities: A Survey
The past decade has witnessed a rapid proliferation of video cameras in all walks of life and has resulted in a tremendous explosion of video content. Several applications such as ...
Pavan K. Turaga, Rama Chellappa, V. S. Subrahmania...
CVGIP
2002
104views more  CVGIP 2002»
14 years 9 months ago
Sharp Features on Multiresolution Subdivision Surfaces
In this paper we describe a method for creating sharp features and trim regions on multiresolution subdivision surfaces along a set of user-defined curves. Operations such as engr...
Henning Biermann, Ioana M. Martin, Denis Zorin, Fa...
IJPRAI
2000
108views more  IJPRAI 2000»
14 years 9 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...
JUCS
2002
79views more  JUCS 2002»
14 years 9 months ago
Some Notes on Fine Computability
: A metric defined by Fine induces a topology on the unit interval which is strictly stronger than the ordinary Euclidean topology and which has some interesting applications in Wa...
Vasco Brattka