3909 search results - page 590 / 782 » Extreme Model Checking |
145
click to vote
SMI
2006
IEEE
16 years 14 days ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
153
click to vote
BROADNETS
2005
IEEE
16 years 3 days ago
2005
IEEE
—The peer-to-peer technology offers many advantages, but at the same time, it poses many novel challenges for the research community. Modern peer-to-peer systems are characterize...
157
click to vote
CEC
2005
IEEE
16 years 3 days ago
2005
IEEE
The most controversial part of genetic programming is its highly disruptive and potentially innovative subtree crossover operator. The clearest problem with the crossover operator...
191
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
169
click to vote
ICNP
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we analyze the problem of network disconnection in the context of large-scale P2P networks and understand how both static and dynamic patterns of node failure affec...