Sciweavers

195 search results - page 12 / 39
» Design science as nested problem solving
Sort
View
ESIAT
2009
IEEE
13 years 5 months ago
Study on Architecture of Photogrammetric Parallel Processing System Based on Cluster Computing
Comparing with the rapidly increasing acquiring technology for remotely sensed data, the data processing technologies have been following behind, especially in computing speed and ...
Liu Hangye, Sui Xuelian, Zong Jingchun
SIGCSE
2004
ACM
132views Education» more  SIGCSE 2004»
14 years 1 months ago
Using game days to teach a multiagent system class
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
Leen-Kiat Soh
PODS
2006
ACM
138views Database» more  PODS 2006»
14 years 7 months ago
Efficiently ordering subgoals with access constraints
d Abstract] Guizhen Yang Artificial Intelligence Center SRI International Menlo Park, CA 94025, USA Michael Kifer Dept. of Computer Science Stony Brook University Stony Brook, NY 1...
Guizhen Yang, Michael Kifer, Vinay K. Chaudhri
HICSS
2003
IEEE
123views Biometrics» more  HICSS 2003»
14 years 26 days ago
Issues in Rational Planning in Multi-Agent Settings
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
Piotr J. Gmytrasiewicz
TLCA
2005
Springer
14 years 1 months ago
Recursive Functions with Higher Order Domains
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
Ana Bove, Venanzio Capretta