2757 search results - page 269 / 552 » On separating systems |
154
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
168
click to vote
ICMLC
2010
Springer
15 years 4 months ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
299
click to vote
WD
2010
15 years 1 months ago
2010
Abstract--OFDMA based cellular radio networks aim to operate as close as possible to frequency reuse distance of one, where the whole spectrum would be available in every cell. Mod...
164
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Problems such as price volatility have been observed in electric power markets. Demand-side participation is often offered as a potential solution by promising to increase market ...
158
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
A novel sonar array for mobile robots is presented with applications to localization and mapping of indoor environments. The ultrasonic sensor localizes and classifies multiple ta...