1229 search results - page 101 / 246 » A New Method for Dependent Parsing |
135
click to vote
C3S2E
2008
ACM
15 years 7 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
172
click to vote
PLDI
2009
ACM
16 years 10 days ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
152
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
People are emotional, and machines are not. That constrains their communication, and defines a key challenge for the information sciences. Different groups have addressed it from d...
132
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a new technique for automatically creating analog circuit models. The method extracts - from trained neural networks - piecewise linear models expressing the l...
168
click to vote
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...