Sciweavers

1036 search results - page 44 / 208
» Natural Narrowing for General Term Rewriting Systems
Sort
View
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
13 years 8 months ago
Agent-based support for interactive search in conceptual software engineering design
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
Christopher L. Simons, Ian C. Parmee
COSIT
2003
Springer
151views GIS» more  COSIT 2003»
14 years 26 days ago
Landscape Categories in Yindjibarndi: Ontology, Environment, and Language
This paper describes categories for landscape elements in the language of the Yindjibarndi people, a community of Indigenous Australians. Yindjibarndi terms for topographic featur...
David M. Mark, Andrew G. Turk
NAACL
1994
13 years 9 months ago
Session 10: Government Panel
The Workshop included an extended group of presentations by selected US government agencies and an invited guest from the European Community. These presentations, amplified in the...
Oscar N. Garcia
LFCS
2007
Springer
14 years 1 months ago
Cut Elimination in Deduction Modulo by Abstract Completion
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
Guillaume Burel, Claude Kirchner
EMSOFT
2006
Springer
13 years 11 months ago
Mixing signals and modes in synchronous data-flow systems
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
Jean-Louis Colaço, Grégoire Hamon, M...