Sciweavers

3863 search results - page 658 / 773
» Function in Device Representation
Sort
View
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 9 months ago
Structured Placement with Topological Regularity Evaluation
Abstract-- This paper introduces a new concept of floorplanning and block placement, called structured placement. Regularity is a key criterion of structured placement so that plac...
Shigetoshi Nakatake
ER
2007
Springer
167views Database» more  ER 2007»
15 years 8 months ago
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
126
Voted
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 8 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
EUROCAST
2007
Springer
190views Hardware» more  EUROCAST 2007»
15 years 8 months ago
Efficient On-Board Stereo Vision Pose Estimation
Abstract. This paper presents an efficient technique for real time estimation of on-board stereo vision system pose. The whole process is performed in the Euclidean space and consi...
Angel Domingo Sappa, Fadi Dornaika, David Ger&oacu...
AMDO
2006
Springer
15 years 8 months ago
Collision Detection Trough Deconstruction of Articulated Objects
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
Roberto Therón, Vidal Moreno, Belén ...