Sciweavers

8838 search results - page 1525 / 1768
» Generalizing Domain Theory
Sort
View
JOLLI
2008
95views more  JOLLI 2008»
15 years 6 months ago
Relational Modality
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
Kathrin Glüer, Peter Pagin
ENTCS
2007
153views more  ENTCS 2007»
15 years 6 months ago
The Methods of Approximation and Lifting in Real Computation
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
Manuel Lameiras Campagnolo, Kerry Ojakian
BMCBI
2005
190views more  BMCBI 2005»
15 years 6 months ago
Species-specific analysis of protein sequence motifs using mutual information
Background: Protein sequence motifs are by definition short fragments of conserved amino acids, often associated with a specific function. Accordingly protein sequence profiles de...
Jan Hummel, Nima Keshvari, Wolfram Weckwerth, Joac...
SIAMAM
2000
90views more  SIAMAM 2000»
15 years 6 months ago
Local Strong Homogeneity of a Regularized Estimator
This paper deals with regularized pointwise estimation of discrete signals which contain large strongly homogeneous zones, where typically they are constant, or linear, or more gen...
Mila Nikolova
EXPERT
1998
86views more  EXPERT 1998»
15 years 6 months ago
IMACS: A Case Study in Real-World Planning
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
Satyandra K. Gupta, Dana S. Nau, William C. Regli
« Prev « First page 1525 / 1768 Last » Next »