5343 search results - page 691 / 1069 » Keyword programming in java |
168
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
One goal of our project is to create a dialogue agent that can behave as a student peer and collaborate with a human student to explain or diagnose data structures programs. A huma...
149
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
173
click to vote
ISIPTA
2005
IEEE
16 years 12 days ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
169
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
161
click to vote
TLDI
2003
ACM
16 years 1 days ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...