Sciweavers

4767 search results - page 733 / 954
» Structures for Abstract Rewriting
Sort
View
CP
2003
Springer
14 years 4 months ago
An Algebraic Approach to Multi-sorted Constraints
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
Andrei A. Bulatov, Peter Jeavons
CP
2003
Springer
14 years 4 months ago
CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
Alessio Guerri, Michela Milano
CSEE
2003
Springer
14 years 4 months ago
A Coordinated Plan for Teaching Software Engineering in the Rey Juan Carlos University
Nowadays both industry and academic environments are showing a lot of interest in the Software Engineering discipline. Therefore, it is a challenge for universities to provide stu...
Jorge Enrique Pérez-Martínez, Almude...
DNA
2003
Springer
122views Bioinformatics» more  DNA 2003»
14 years 4 months ago
Self-Assembled Circuit Patterns
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
Matthew Cook, Paul W. K. Rothemund, Erik Winfree
ECAL
2003
Springer
14 years 4 months ago
Are There Representations in Embodied Evolved Agents? Taking Measures
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
Hezi Avraham, Gal Chechik, Eytan Ruppin