Sciweavers

3384 search results - page 489 / 677
» More Testable Properties
Sort
View
GRAPHICSINTERFACE
1996
13 years 11 months ago
A Technique for Constructing Developable Surfaces
Paper, sheet metal, and many other materials are approximately unstretchable. The surfaces obtained by bending these materials can be flattened onto a plane without stretching or ...
Meng Sun, Eugene Fiume
NAACL
1994
13 years 11 months ago
Learning from Relevant Documents in Large Scale Routing Retrieval
The normal practice of selecting relevant documents for training routing queries is to either use all relevants or the 'best n' of them after a (retrieval) ranking opera...
K. L. Kwok, Laszlo Grunfeld
IJCAI
1989
13 years 11 months ago
Neuroplanners and Their Application to Eyes/Head/Neck Coordination
We review a neuroplanner architecture for use in constructing subcognitive controllers and new application that uses it. These controllers have wo important properties: (1) the ab...
Daryl H. Graf, Wilf R. LaLonde
ATVA
2009
Springer
97views Hardware» more  ATVA 2009»
13 years 11 months ago
Memory Usage Verification Using Hip/Sleek
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan...
ESORICS
2010
Springer
13 years 11 months ago
On Bounding Problems of Quantitative Information Flow
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
Hirotoshi Yasuoka, Tachio Terauchi