Sciweavers

1528 search results - page 96 / 306
» Performance Assertion Checking
Sort
View
ACSE
1997
ACM
15 years 6 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
15 years 4 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
15 years 3 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
15 years 3 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
127
Voted
SWAP
2007
15 years 3 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