3069 search results - page 18 / 614 » Thinking about Technology |
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
JTAER
2006
13 years 9 months ago
2006
E-commerce has brought both opportunities and challenges to Internet marketers. One challenge facing the marketers is to "convert" Internet users who are reluctant to bu...
WSC
1997
13 years 11 months ago
1997
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer