Search Sciweavers | Sciweavers

11022 search results - page 101 / 2205

» Programming Systems for Autonomy

250

click to vote

POPL
2006
ACM

142views Programming Languages» more POPL 2006»

Why dependent types matter

16 years 5 months ago

Download www.cs.nott.ac.uk

We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...

James McKinna

claim paper

Read More »

106

click to vote

ICLP
2005
Springer

93views Automated Reasoning» more ICLP 2005»

A Temporal Programming Language for Heterogeneous Information Systems

15 years 10 months ago

Download www.di.uevora.pt

Vítor Nogueira

claim paper

Read More »

144

click to vote

ICLP
2003
Springer

122views Automated Reasoning» more ICLP 2003»

A Logic Programming View of Authorization in Distributed Systems

15 years 10 months ago

Download www.cs.utsa.edu

William H. Winsborough

claim paper

Read More »

172

click to vote

CEC
2010
IEEE

291views Artificial Intelligence» more CEC 2010»

Genetic programming for Expert Systems

15 years 4 months ago

Download www5.informatik.uni-erlangen.de

— Genetic programming is the usage of the paradigm of survival of the ﬁttest in scientiﬁc computing. It is applied to evolve solutions to problems where dependencies between ...

Konrad Sickel, Joachim Hornegger

claim paper

Read More »

220

click to vote

ICLP
2009
Springer

134views Automated Reasoning» more ICLP 2009»

A Knowledge Base System Project for FO(.)

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers