4961 search results - page 549 / 993 » Homomorphism-Homogeneous Relational Structures |
179
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
200
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
We present sufficient conditions for robust relay-delayed semiglobal stabilization of second order systems, which relate the upper bound to an uncertain time delay and the paramete...
169
click to vote
COLCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Collaborative search engines (CSE) let users pool their resources and share their experiences when seeking information on the web. However, when shared, search terms and ...