Sciweavers

7495 search results - page 1076 / 1499
» Intelligent Document Processing
Sort
View
AAI
2005
117views more  AAI 2005»
15 years 7 months ago
Machine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
Susana Fernández, Ricardo Aler, Daniel Borr...
CGA
2005
15 years 7 months ago
Visualizing Live Text Streams Using Motion and Temporal Pooling
In today's fast-paced world, it is increasingly difficult to understand and act promptly upon the content of the many information streams available. Temporal pooling addresse...
Conrad Albrecht-Buehler, Benjamin Watson, David A....
JLP
2007
114views more  JLP 2007»
15 years 7 months ago
Deaccumulation techniques for improving provability
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
Jürgen Giesl, Armin Kühnemann, Janis Voi...
URBAN
2008
90views more  URBAN 2008»
15 years 7 months ago
The use of Web 2.0 concepts to support deliberation in spatial decision-making
Technologies associated with the second-generation of the World-Wide Web enable virtually anyone to share their data, documents, observations, and opinions on the Internet. In les...
Claus Rinner, Carsten Keßler, Stephen Andrul...
SIGIR
2002
ACM
15 years 7 months ago
Effective collection metasearch in a hierarchical environment: global vs. localized retrieval performance
We compare standard global IR searching with user-centric localized techniques to address the database selection problem. We conduct a series of experiments to compare the retriev...
Jack G. Conrad, Changwen Yang, Joanne S. Claussen
« Prev « First page 1076 / 1499 Last » Next »