Sciweavers

4854 search results - page 113 / 971
» It's the Programming, Stupid
Sort
View
SAC
2006
ACM
15 years 6 months ago
powerJava: ontologically founded roles in object oriented programming languages
In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object inst...
Matteo Baldoni, Guido Boella, Leendert W. N. van d...
CADE
2003
Springer
16 years 6 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow
ARGMAS
2009
Springer
16 years 23 days ago
Realizing Argumentation in Multi-agent Systems Using Defeasible Logic Programming
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
Matthias Thimm
162
Voted
ADBIS
2005
Springer
100views Database» more  ADBIS 2005»
15 years 11 months ago
Evolutionary Learning of Boolean Queries by Genetic Programming
Abstract. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its...
Suhail S. J. Owais, Pavel Krömer, Václ...
POPL
2010
ACM
15 years 11 months ago
Parallelizing constraint programs
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
Laurent D. Michel