5786 search results - page 966 / 1158 » Lines Pinning Lines |
186
click to vote
JGAA
2010
15 years 5 months ago
2010
We investigate which chordal graphs have a representation as intersection graphs of pseudosegments. For positive we have a construction which shows that all chordal graphs that ca...
167
click to vote
JIRS
2010
15 years 5 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
141
click to vote
JNS
2010
15 years 5 months ago
2010
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...
203
click to vote
JSS
2010
15 years 5 months ago
2010
We use 810 versions of the Linux kernel, released over a period of 14 years, to characterize the system’s evolution, using Lehman’s laws of software evolution as a basis. We i...
186
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...