8838 search results - page 283 / 1768 » Generalizing Domain Theory |
174
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
211
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
142
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
200
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
153
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Since the nineties, storytelling has received increasing attention in the HCI, IDC, and AI communities, exploring the potential of interactivity and multimedia as a means to promo...