Sciweavers

2221 search results - page 139 / 445
» The Importance of Symmetric Representation
Sort
View
FUIN
2007
122views more  FUIN 2007»
15 years 6 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»
15 years 6 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»
15 years 6 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»
15 years 6 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»
15 years 6 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