21319 search results - page 547 / 4264 » An Approach for Method Reengineering |
187
click to vote
TLDI
2003
ACM
16 years 9 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
181
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Data association is the process of relating features observed in the environment to features viewed previously or to features in a map. Correct feature association is essential fo...
166
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
179
click to vote
FOCS
1994
IEEE
15 years 11 months ago
1994
IEEE
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...
175
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...