Sciweavers

476 search results - page 67 / 96
» The Complexity of Equality Constraint Languages
Sort
View
ACL
2009
15 years 1 months ago
Automatic Cost Estimation for Tree Edit Distance Using Particle Swarm Optimization
Recently, there is a growing interest in working with tree-structured data in different applications and domains such as computational biology and natural language processing. Mor...
Yashar Mehdad
113
Voted
COSIT
2007
Springer
89views GIS» more  COSIT 2007»
15 years 10 months ago
Specifying Essential Features of Street Networks
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
Simon Scheider, Daniel Schulz
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 8 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ICLP
1995
Springer
15 years 7 months ago
WAMCC: Compiling Prolog to C
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
Philippe Codognet, Daniel Diaz
ACMACE
2008
ACM
15 years 6 months ago
BeatBender: subsumption architecture for autonomous rhythm generation
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
Aaron Levisohn, Philippe Pasquier