2722 search results - page 230 / 545 » Automating Language Evolution |
136
click to vote
JAR
2007
15 years 4 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
163
click to vote
PADL
2012
Springer
14 years 12 days ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
143
click to vote
CSMR
2000
IEEE
15 years 9 months ago
2000
IEEE
Better understanding manual reverse engineering can make it and any associated systems reengineering more effective. We reverse engineered a version of a system (referred to as &q...
120
click to vote
ICLP
1998
Springer
15 years 9 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
179
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...