5343 search results - page 575 / 1069 » Keyword programming in java |
185
click to vote
HASKELL
2006
ACM
16 years 11 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
153
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
My research investigates into using Markov chains to make link prediction and the transition matrix derived from Markov chains to acquire structural knowledge about Web sites. The ...
196
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
134
Voted
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
This paper is motivated by the concern of the multiservice network provider who wishes to offer users quality of service guarantees concerning transparency, accessibility and thro...
155
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...