Sciweavers

5122 search results - page 302 / 1025
» Comparing Consequence Relations
Sort
View
MOC
2002
82views more  MOC 2002»
15 years 5 months ago
Lie symmetries and differential Galois groups of linear equations
For a linear ordinary differential equation the Lie algebra of its infinitesimal Lie symmetries is compared with its differential Galois group. For this purpose an algebraic formul...
W. R. Oudshoorn, M. van der Put
SIGMOD
2010
ACM
166views Database» more  SIGMOD 2010»
15 years 27 days ago
Search result diversification
Result diversification has recently attracted much attention as a means of increasing user satisfaction in recommender systems and web search. Many different approaches have been ...
Marina Drosou, Evaggelia Pitoura
ICIW
2008
IEEE
16 years 18 days ago
DBOWL: Towards a Scalable and Persistent OWL Reasoner
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
María del Mar Roldán García, ...
CC
2007
Springer
16 years 10 days ago
Correcting the Dynamic Call Graph Using Control-Flow Constraints
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
Byeongcheol Lee, Kevin Resnick, Michael D. Bond, K...
MLMI
2004
Springer
15 years 11 months ago
The 2004 ICSI-SRI-UW Meeting Recognition System
We describe the ICSI-SRI-UW team’s entry in the Spring 2004 NIST Meeting Recognition Evaluation. The system was derived from SRI’s 5xRT Conversational Telephone Speech (CTS) r...
Chuck Wooters, Nikki Mirghafori, Andreas Stolcke, ...