17049 search results - page 3091 / 3410 » cans 2007 |
173
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...
181
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The purpose of evaluation procedures is to achieve both qualitative and quantitative statements on haptic rendering realism and performance. Since a haptic interface provides a...
188
click to vote
GRID
2007
Springer
16 years 26 days ago
2007
Springer
-- To date, not enough attention has been paid to issues surrounding the description and enforcement of policies for controlling Grid resources. These policies define the permitted...
217
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...