3358 search results - page 402 / 672 » Dynamic Description Logics |
157
click to vote
HCI
2009
15 years 4 months ago
2009
In 3D virtual environments (3DVE), we need to know what an object looks like (i.e. geometric information) and what the object is, what are its properties and characteristics and ho...
395
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
168
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present Low Power Illinois scan architecture (LPILS) to achieve power dissipation and test data volume reduction, simultaneously. By using the proposed scan architecture, dynam...
189
click to vote
TGC
2007
Springer
16 years 23 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
179
click to vote
AI
2004
Springer
16 years 2 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...