1096 search results - page 78 / 220 » Computation Slicing: Techniques and Theory |
78
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Using the same application on different devices requires the user to perform a mental transformation in order to adapt his knowledge to a new platform. In this work we describe ho...
77
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
84
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
89
Voted
EMNLP
2009
14 years 10 months ago
2009
We propose a new model for unsupervised POS tagging based on linguistic distinctions between open and closed-class items. Exploiting notions from current linguistic theory, the sy...