Sciweavers

3206 search results - page 300 / 642
» How minds can be computational systems
Sort
View
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 5 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel
HICSS
2012
IEEE
291views Biometrics» more  HICSS 2012»
14 years 2 months ago
Product Performance Based Business Models: A Service Based Perspective
The migration to a service based economy has led many firms to emphasize the service component of their product offerings. This shift has led to the emergence of a business model ...
Morris A. Cohen
HPCA
1995
IEEE
15 years 10 months ago
Program Balance and Its Impact on High Performance RISC Architectures
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...
Lizy Kurian John, Vinod Reddy, Paul T. Hulina, Lee...
ICCS
2005
Springer
16 years 7 days ago
Java-Based Grid Service Spread and Implementation in Remote Sensing Applications
Remote sensing applications often concern very large volumes of spatio-temporal data, the emerging Grid computing technologies bring an effective solution to this problem. The Open...
Yanguang Wang, Yong Xue, Jianqin Wang, Chaolin Wu,...
GECCO
2003
Springer
133views Optimization» more  GECCO 2003»
15 years 12 months ago
Dynamic Strategies in a Real-Time Strategy Game
Abstract. Most modern real-time strategy computer games have a sophisticated but fixed ‘AI’ component that controls the computer’s actions. Once the user has learned how suc...
William Joseph Falke II, Peter Ross