Sciweavers

2421 search results - page 383 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
SMA
1999
ACM
205views Solid Modeling» more  SMA 1999»
14 years 2 months ago
A novel FEM-based dynamic framework for subdivision surfaces
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
Chhandomay Mandal, Hong Qin, Baba C. Vemuri
DLOG
2008
14 years 12 days ago
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
Andrea Calì, Georg Gottlob, Michael Kifer
IJSEKE
2006
99views more  IJSEKE 2006»
13 years 10 months ago
Weaving Deployment Aspects into Domain-specific Models
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
CVIU
2007
143views more  CVIU 2007»
13 years 10 months ago
Visual terrain mapping for Mars exploration
One goal for future Mars missions is for a rover to be able to navigate autonomously to science targets not visible to the rover, but seen in orbital or descent images. This can b...
Clark F. Olson, Larry H. Matthies, John R. Wright,...
ISCAS
2005
IEEE
191views Hardware» more  ISCAS 2005»
14 years 3 months ago
Behavioural modeling and simulation of a switched-current phase locked loop
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
Peter R. Wilson, Reuben Wilcock