3630 search results - page 81 / 726 » How to Compare Treebanks |
132
click to vote
IWMM
2000
Springer
15 years 9 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
150
click to vote
ALT
2007
Springer
16 years 3 months ago
2007
Springer
We consider how state similarity in average reward Markov decision processes (MDPs) may be described by pseudometrics. Introducing the notion of adequate pseudometrics which are we...
136
click to vote
DSD
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
142
click to vote
ICSEA
2007
IEEE
16 years 14 days ago
2007
IEEE
One of the major challenges in IT security management is determining how much to spend and where to spend. This requires understanding of the economic issues regarding IT security...
164
click to vote
CBMS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present our spreadsheet framework, which uses a spreadsheet-like interface for exploring biomedical datasets. The principles and advantages of this class of visu...