Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
3311
search results - page 37 / 663
»
Deductive Object Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
78
click to vote
AMI
2009
Springer
197
views
Artificial Intelligence
»
more
AMI 2009
»
SAGE: A Logical Agent-Based Environment Monitoring and Control System
15 years 4 months ago
Download
www.ucl.ac.uk
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...
claim paper
Read More »
41
click to vote
ECOOP
1989
Springer
50
views
Programming Languages
»
more
ECOOP 1989
»
A Design Method for Object-Oriented Programming
15 years 1 months ago
Download
www.ifs.uni-linz.ac.at
Winnie W. Y. Pun, Russel L. Winder
claim paper
Read More »
70
click to vote
ICFP
2002
ACM
76
views
Programming Languages
»
more
ICFP 2002
»
An interoperable calculus for external object access
15 years 9 months ago
Download
www.pllab.riec.tohoku.ac.jp
Atsushi Ohori, Kiyoshi Yamatodani
claim paper
Read More »
44
click to vote
ESOP
2007
Springer
91
views
Programming Languages
»
more
ESOP 2007
»
Immutable Objects for a Java-Like Language
15 years 3 months ago
Download
www.cs.ru.nl
Christian Haack, Erik Poll, Jan Schäfer, Alek...
claim paper
Read More »
61
click to vote
TOOLS
2010
IEEE
103
views
Programming Languages
»
more
TOOLS 2010
»
Reasoning about Function Objects
15 years 2 months ago
Download
www.doc.ic.ac.uk
Martin Nordio, Cristiano Calcagno, Bertrand Meyer,...
claim paper
Read More »
« Prev
« First
page 37 / 663
Last »
Next »