2364 search results - page 322 / 473 » An Engine for Computing Well-Founded Models |
143
click to vote
SI3D
2003
ACM
15 years 10 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
268
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
162
Voted
SIAMIS
2011
14 years 11 months ago
2011
We define a novel metric on the space of closed planar curves which decomposes into three intuitive components. According to this metric centroid translations, scale changes and ...
177
click to vote
AIWORC
2000
IEEE
15 years 9 months ago
2000
IEEE
The "schooling industry" is faced with an inescapable demand to redefine its endeavors in terms of producing learning, rather than providing instructions. We propose a h...
128
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...