2713 search results - page 465 / 543 » Parameterized Tree Systems |
136
Voted
LICS
2007
IEEE
16 years 4 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
297
click to vote
RTSS
2007
IEEE
16 years 4 days ago
2007
IEEE
Recent research shows that significant energy saving can be achieved in wireless sensor networks by using mobile elements (MEs) capable of carrying data mechanically. However, th...
208
click to vote
SEMCO
2007
IEEE
16 years 4 days ago
2007
IEEE
One of the ultimate goals of natural language processing (NLP) systems is understanding the meaning of what is being transmitted, irrespective of the medium (e.g., written versus ...
173
click to vote
CIA
2007
Springer
16 years 1 days ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
170
Voted
FASE
2007
Springer
16 years 1 days ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...