Sciweavers

3775 search results - page 227 / 755
» The Expression Problem Revisited
Sort
View
113
Voted
FSTTCS
2006
Springer
15 years 8 months ago
Branching Pushdown Tree Automata
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
Rajeev Alur, Swarat Chaudhuri
AAAI
2000
15 years 6 months ago
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...
Henrik Grosskreutz, Gerhard Lakemeyer
ESWA
2006
103views more  ESWA 2006»
15 years 5 months ago
Model gene network by semi-fixed Bayesian network
Gene networks describe functional pathways in a given cell or tissue, representing processes such as metabolism, gene expression regulation, and protein or RNA transport. Thus, le...
Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal
TNN
2008
105views more  TNN 2008»
15 years 4 months ago
Generalized Linear Discriminant Analysis: A Unified Framework and Efficient Model Selection
Abstract--High-dimensional data are common in many domains, and dimensionality reduction is the key to cope with the curse-of-dimensionality. Linear discriminant analysis (LDA) is ...
Shuiwang Ji, Jieping Ye
JAIR
1998
163views more  JAIR 1998»
15 years 4 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi