Sciweavers

1403 search results - page 96 / 281
» About Approximations of Exponentials
Sort
View
93
Voted
IDT
2007
109views more  IDT 2007»
15 years 29 days 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 28 days 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
104
Voted
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
15 years 10 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
93
Voted
IEEESCC
2009
IEEE
15 years 7 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
123
Voted
CONCUR
2001
Springer
15 years 5 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