3706 search results - page 235 / 742 » System Description: E-KRHyper |
MT
2008
15 years 21 days ago
2008
This paper evaluates the hypothesis that pictorial representations can be used to effectively convey simple sentences across language barriers. Comparative evaluations show that a...
CN
2000
15 years 17 days ago
2000
The General Packet Radio Service (GPRS), a data extension of the mobile telephony standard GSM, is emerging as the first true packet-switched architecture to allow mobile subscrib...
78
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
88
Voted
IWINAC
2007
Springer
15 years 6 months ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
151
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...