Sciweavers

1712 search results - page 54 / 343
» A Computational Approach to Binding Theory
Sort
View
JCC
2007
76views more  JCC 2007»
14 years 11 months ago
Valence bond theory for chemical dynamics
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
Donald G. Truhlar
LION
2009
Springer
125views Optimization» more  LION 2009»
15 years 6 months ago
New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...
Samuel Rota Bulò, Marcello Pelillo
FSTTCS
2004
Springer
15 years 5 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
AIME
2003
Springer
15 years 5 months ago
Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
Anand Kumar, Barry Smith
ALS
2003
Springer
15 years 5 months ago
Towards a Four Factor Theory of Anticipatory Learning
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
Mark Witkowski