3319 search results - page 116 / 664 » Subshifts, Languages and Logic |
62
Voted
ANLP
2000
15 years 2 months ago
2000
The paper describes a natural language based expert system route advisor for the public bus transport in Trondheim, Norway. The system is available on the Internet,and has been in...
84
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
111
Voted
SIGCSE
2002
ACM
15 years 9 days ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...