1138 search results - page 158 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
CAV
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
JTRES
2010
ACM
13 years 8 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
In a dynamic market, being able to update one’s value based on information available to other bidders currently in the market can be critical to having profitable transactions. ...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. Computing reflective symmetries of 2D and 3D shapes is a classical problem in computer vision and computational geometry. Most prior work has focused on finding the main ...
JCP
2007
13 years 8 months ago
2007
- The kinematic filter is a common tool in control and signal processing applications dealing with position, velocity and other kinematical variables. Usually the filter gain is gi...