Sciweavers

1403 search results - page 96 / 281
» About Approximations of Exponentials
Sort
View
IDT
2007
109views more  IDT 2007»
15 years 4 months ago
Intelligent virtual humans with autonomy and personality: State-of-the-art
Intelligent virtual characters has been subject to exponential growth in the last decades and they are utilized in many application areas such as education, training, human-compute...
Zerrin Kasap, Nadia Magnenat-Thalmann
TIT
2008
83views more  TIT 2008»
15 years 4 months ago
Hard Problems of Algebraic Geometry Codes
The minimum distance is one of the most important combinatorial characterizations of a code. The maximum likelihood decoding problem is one of the most important algorithmic proble...
Qi Cheng
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 1 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu
IEEESCC
2009
IEEE
15 years 11 months ago
JabberWocky: Crowd-Sourcing Metadata for Files
Finding relevant files in a personal file system continues to be a challenge. It is still easier to find stuff on the Web with its exponential growth than in one’s personal ...
Varun Bhagwan, Carlos Maltzahn
CONCUR
2001
Springer
15 years 9 months ago
Extended Temporal Logic Revisited
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi