Sciweavers

1528 search results - page 96 / 306
» Performance Assertion Checking
Sort
View
ACSE
1997
ACM
14 years 2 months ago
I/O considered harmful (at least for the first few weeks)
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
John Rosenberg, Michael Kölling
ESWS
2008
Springer
13 years 12 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov
ACL
2006
13 years 11 months ago
Improving QA Accuracy by Question Inversion
This paper demonstrates a conceptually simple but effective method of increasing the accuracy of QA systems on factoid-style questions. We define the notion of an inverted questio...
John M. Prager, Pablo Ariel Duboué, Jennife...
CSREAESA
2004
13 years 11 months ago
Approaches for Monitoring Vectors on Microprocessor Buses
This paper introduces two new methods for observing and recording the vectors that have been asserted on a bus. The first is a software approach that uses a novel data structure s...
Hector Arteaga, Hussain Al-Asaad
SWAP
2007
13 years 11 months ago
Semantic Nearest Neighbor Search in OWL Ontologies
Abstract. A nearest neighbor search procedure is presented, for retrieving resources in knowledge bases expressed in OWL. The procedure exploits a semidistance for annotated resour...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito