Sciweavers

7715 search results - page 1065 / 1543
» Visual Rules Modeling
Sort
View
WWW
2001
ACM
16 years 7 months ago
WebLQM : A Web Community Examiner
WebLQM is a system with capabilities to locate, query and mine web communities on the Internet. WebLQM has a special way to define the World Wide Web, its contents and relations. ...
Jesús Ubaldo Quevedo, Shou-Hsuan Stephen Hu...
ICLP
2009
Springer
16 years 7 months ago
Answer Set Programming for Single-Player Games in General Game Playing
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
Michael Thielscher
CADE
2007
Springer
16 years 6 months ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
CISIS
2010
IEEE
16 years 1 months ago
On a Journey from Message to Observable Pervasive Application
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
Geert Vanderhulst, Kris Luyten, Karin Coninx
BIRTHDAY
2009
Springer
16 years 1 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
« Prev « First page 1065 / 1543 Last » Next »