Sciweavers

4163 search results - page 384 / 833
» Enhancing surgical systems
Sort
View
IEAAIE
2010
Springer
15 years 4 months ago
Relief Patterned-Tile Classification for Automatic Tessella Assembly
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...
José Miguel Sanchiz Martí, Jorge Bad...
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
VC
2010
212views more  VC 2010»
15 years 1 months ago
Interactive evolutionary 3D fractal modeling
In this research we present a technique for the automatic generation of 3D art form, which allows designers to get access to large number of 3D shapes that can be altered interact...
Wenjun Pang, K. C. Hui
CHI
2011
ACM
14 years 10 months ago
CommentSpace: structured support for collaborative visual analysis
Collaborative visual analysis tools can enhance sensemaking by facilitating social interpretation and parallelization of effort. These systems enable distributed exploration and e...
Wesley Willett, Jeffrey Heer, Joseph M. Hellerstei...
FAST
2011
14 years 10 months ago
Leveraging Value Locality in Optimizing NAND Flash-based SSDs
: NAND flash-based solid-state drives (SSDs) are increasingly being deployed in storage systems at different levels such as buffer-caches and even secondary storage. However, the ...
Aayush Gupta, Raghav Pisolkar, Bhuvan Urgaonkar, A...