Sciweavers

13271 search results - page 2452 / 2655
» Computers, Programming, and People
Sort
View
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
CSCW
1998
ACM
15 years 6 months ago
Community Support for Constructionist Learning
MOOSE Crossing is a text-based virtual reality environment (or “MUD”) designed to be a constructionist learning environment for children ages eight to thirteen. The constructio...
Amy Bruckman
ML
2002
ACM
114views Machine Learning» more  ML 2002»
15 years 6 months ago
Building a Basic Block Instruction Scheduler with Reinforcement Learning and Rollouts
The execution order of a block of computer instructions on a pipelined machine can make a difference in running time by a factor of two or more. Compilers use heuristic schedulers...
Amy McGovern, J. Eliot B. Moss, Andrew G. Barto
SCP
1998
138views more  SCP 1998»
15 years 6 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara
TPDS
1998
98views more  TPDS 1998»
15 years 6 months ago
A Basic-Cycle Calculation Technique for Efficient Dynamic Data Redistribution
—Array redistribution is usually required to enhance algorithm performance in many parallel programs on distributed memory multicomputers. Since it is performed at run-time, ther...
Yeh-Ching Chung, Ching-Hsien Hsu, Sheng-Wen Bai
« Prev « First page 2452 / 2655 Last » Next »