4041 search results - page 88 / 809 » A Model of Creative Understanding |
183
click to vote
DATE
2009
IEEE
16 years 29 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
159
click to vote
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
16 years 25 days ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
172
click to vote
IROS
2008
IEEE
16 years 18 days ago
2008
IEEE
— Human-robot interaction (HRI) is now well enough understood to allow us to build useful systems that can function outside of the laboratory. We are studying longterm interactio...
157
click to vote
INFOCOM
2007
IEEE
16 years 15 days ago
2007
IEEE
— VoIP has widely been addressed as the technology that will change the Telecommunication model opening the path for convergence. Still today this revolution is far from being co...
160
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents a comprehensive statistical analysis of workloads collected on data-intensive clusters and Grids. The analysis is conducted at different levels, including Virt...