Sciweavers

4099 search results - page 102 / 820
» First Class Patterns
Sort
View
APAL
2006
66views more  APAL 2006»
13 years 9 months ago
The Skolemization of existential quantifiers in intuitionistic logic
In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends t...
Matthias Baaz, Rosalie Iemhoff
ECAI
2008
Springer
13 years 10 months ago
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
JCB
2006
83views more  JCB 2006»
13 years 9 months ago
A Discrete-Event Approach to Transcription Control with Dynamic Event-Controllability
This paper presents a discrete-event approach to synthesis of transcription control for a class of (computational) gene networks. Given a set of genes and protein-gene and/or prote...
Peter C. Y. Chen
KDD
2006
ACM
139views Data Mining» more  KDD 2006»
14 years 9 months ago
Generating semantic annotations for frequent patterns with context analysis
As a fundamental data mining task, frequent pattern mining has widespread applications in many different domains. Research in frequent pattern mining has so far mostly focused on ...
Qiaozhu Mei, Dong Xin, Hong Cheng, Jiawei Han, Che...
FLAIRS
2004
13 years 10 months ago
Knowledge Engineering of Creative Musical Expressions Using Carnatic Music Ideology
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
S. Ganesh Ram, C. T. Palaniappan, M. S. Ramakrishn...