3006 search results - page 500 / 602 » Overview |
IEEECGIV
2009
IEEE
13 years 8 months ago
2009
IEEE
Effective and efficient navigation and representation of the entire structure of the product catalogue is one of the important factors for on-line market. This paper proposes an a...
CACM
2010
13 years 8 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
CCR
2010
13 years 8 months ago
2010
The cybersecurity information exchange framework, known as CYBEX, is currently undergoing its first iteration of standardization efforts within ITU-T. The framework describes how ...
CGA
2010
13 years 8 months ago
2010
In this paper, we present a novel visual analytics system named Newdle with a focus on exploring large online news collections when the semantics of the individual news articles ha...
CGF
2010
13 years 8 months ago
2010
Virtual humans are employed in many interactive applications using 3D virtual environments, including (serious) games. The motion of such virtual humans should look realistic (or ...