2786 search results - page 246 / 558 » A Practical Technique for Process Abstraction |
147
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
157
click to vote
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
Our goal is to provide tools to support working meetings on an electronic whiteboard, called Tivoli. This paper describes how we have integrated structured “domain objects” in...
222
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
145
click to vote
CIT
2006
Springer
15 years 10 months ago
2006
Springer
Simulation is a widely used technique in networking research and a practice that has suffered loss of credibility in recent years due to doubts about its reliability. In this pape...
163
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a QA system centered in a full data-driven architecture. It applies machine learning and text mining techniques to identify the most probable answers to factoi...