Sciweavers

5055 search results - page 985 / 1011
» Relative Timing
Sort
View
CI
2005
99views more  CI 2005»
13 years 8 months ago
Automatically Generating Tree Adjoining Grammars from Abstract Specifications
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
Fei Xia, Martha Palmer, K. Vijay-Shanker
JSS
2007
105views more  JSS 2007»
13 years 8 months ago
Composing pattern-based components and verifying correctness
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan, S...
TWC
2008
201views more  TWC 2008»
13 years 8 months ago
A Novel Algorithm for Multipath Fingerprinting in Indoor WLAN Environments
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
Shih-Hau Fang, Tsung-Nan Lin, Kun-Chou Lee
LISP
2007
74views more  LISP 2007»
13 years 8 months ago
Improving the lazy Krivine machine
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. S...
MCSS
2007
Springer
13 years 8 months ago
A complete model of a finite-dimensional impedance-passive system
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
Mikael Kurula, Olof J. Staffans