Sciweavers

10935 search results - page 1877 / 2187
» Neural Programming Language
Sort
View
120
Voted
EAGC
2004
Springer
15 years 8 months ago
Dependable Global Computing with JaWS++
In this paper we propose a computational grid platform called JaWS++ that seeks to harvest the power of idle pools of workstations connected through the Internet and integrate them...
George Kakarontzas, Spyros Lalis
ECAI
2004
Springer
15 years 8 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
124
Voted
EUROSPI
2004
Springer
15 years 8 months ago
Discovering the Relation Between Project Factors and Project Success in Post-mortem Evaluations
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
Joost J. P. Schalken, Sjaak Brinkkemper, Hans van ...
96
Voted
FASE
2004
Springer
15 years 8 months ago
Reasoning about Card Tears and Transactions in Java Card
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
Engelbert Hubbers, Erik Poll
FLOPS
2004
Springer
15 years 8 months ago
Semantics of Linear Continuation-Passing in Call-by-Name
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
Masahito Hasegawa
« Prev « First page 1877 / 2187 Last » Next »