2098 search results - page 258 / 420 » The Persistent Abstract Machine |
136
click to vote
SP
2007
IEEE
15 years 11 months ago
2007
IEEE
TCB Code Execution (Extended Abstract)∗ Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri Carnegie Mellon University We propose an architect...
141
Voted
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
151
click to vote
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Intestinal contractions are one of the main features for analyzing intestinal motility and detecting different gastrointestinal pathologies. In this paper we propose Eig...
127
click to vote
DAARC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
114
Voted
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...