1423 search results - page 252 / 285 » Quantum logic as a dynamic logic |
109
click to vote
RAS
2007
15 years 1 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
112
click to vote
SAS
2010
Springer
15 years 10 days ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
133
click to vote
TPDS
2010
15 years 9 days ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
179
click to vote
WCRE
2010
IEEE
15 years 8 days ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
124
click to vote
APVIS
2010
14 years 12 months ago
2010
In this paper, we propose an approach of clustering data in parallel coordinates through interactive local operations. Different from many other methods in which clustering is glo...