Sciweavers

568 search results - page 71 / 114
» The Great Language Debate
Sort
View
EATCS
2000
108views more  EATCS 2000»
14 years 11 months ago
The Underlying Logic of Hoare Logic
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
Andreas Blass, Yuri Gurevich
IR
2000
14 years 11 months ago
Automating the Construction of Internet Portals with Machine Learning
Domain-specific internet portals are growing in popularity because they gather content from the Web and organize it for easy access, retrieval and search. For example, www.campsear...
Andrew McCallum, Kamal Nigam, Jason Rennie, Kristi...
CN
1998
74views more  CN 1998»
14 years 11 months ago
Generating Advanced Query Interfaces
With the increasing popularity of the World Wide Web, the number of information sources providing access to various types of data has increased considerably. While simple data ret...
Dongwon Lee, Divesh Srivastava, Dimitra Vista
PRL
2002
94views more  PRL 2002»
14 years 11 months ago
A hierarchical tag-graph search scheme with layered grammar rules for spontaneous speech understanding
It has always been difficult for language understanding systems to handle spontaneous speech with satisfactory robustness, primarily due to such problems as the fragments, disflue...
Bor-shen Lin, Berlin Chen, Hsin-Min Wang, Lin-Shan...
JUCS
2011
85views more  JUCS 2011»
14 years 6 months ago
Visualizing and Analyzing the Quality of XML Documents
: In this paper we introduce eXVisXML, a visual tool to explore documents annotated with the mark-up language XML, in order to easily perform over them tasks as knowledge extractio...
Daniela Carneiro da Cruz, Pedro Rangel Henriques