3775 search results - page 500 / 755 » The Expression Problem Revisited |
177
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
169
click to vote
PODS
2010
ACM
15 years 6 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
189
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
We present a method to identify and localize people by leveraging existing CCTV camera infrastructure along with inertial sensors (accelerometer and magnetometer) within each pers...
172
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
184
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...