3812 search results - page 378 / 763 » Combinations of TRAP Based Systems |
137
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes an architecture for a sense-making system for crime investigation named AVERs (Argument Visualization for Evidential Reasoning based on stories). It is targete...
182
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
188
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
155
click to vote
EDM
2010
15 years 8 months ago
2010
In this paper the authors describe Pundit, a course recommendation and search tool at Teachers College, Columbia University. The alpha prototype employs a novel combination of data...
175
click to vote
COLING
2008
15 years 8 months ago
2008
User logs of search engines have recently been applied successfully to improve various aspects of web search quality. In this paper, we will apply pairs of user queries and snippe...