3365 search results - page 41 / 673 » Digital System Design: Architectures, Methods and Tools |
124
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
142
click to vote
CGVR
2006
15 years 1 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
113
click to vote
CC
2001
Springer
15 years 3 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
103
click to vote
ICPP
2008
IEEE
15 years 6 months ago
2008
IEEE
Computer manufacturers spend a huge amount of time, resources, and money in designing new systems and newer configurations, and their ability to reduce costs, charge competitive p...
100
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
We describe an end-to-end system that capitalizes on geographic location tags for digital photographs. The World Wide Media eXchange (WWMX) database indexes large collections of i...