Sciweavers

1593 search results - page 73 / 319
» A visual programming system for automated problem solving
Sort
View
127
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
Automating Residence Hall Internet Signups
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...
John R. Miller, Tom Peterson
AAAI
1997
15 years 5 months ago
Models of Continual Computation
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
Eric Horvitz
140
Voted
ECWEB
2003
Springer
104views ECommerce» more  ECWEB 2003»
15 years 8 months ago
e-Procurement Using Goal Programming
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
S. Kameshwaran, Y. Narahari
140
Voted
PLILP
1998
Springer
15 years 7 months ago
A Compiler for Rewrite Programs in Associative-Commutative Theories
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
Pierre-Etienne Moreau, Hélène Kirchn...
152
Voted
CLIMA
2006
15 years 5 months ago
Multi-Agent FLUX for the Gold Mining Domain (System Description)
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
Stephan Schiffel, Michael Thielscher