Sciweavers

2266 search results - page 296 / 454
» Evolutionary Algorithms for the Satisfiability Problem
Sort
View
130
Voted
AI
2008
Springer
15 years 3 months ago
Alternating-offers bargaining with one-sided uncertain deadlines: an efficient algorithm
In the arena of automated negotiations we focus on the principal negotiation protocol in bilateral settings, i.e. the alternatingoffers protocol. In the scientific community it is...
Nicola Gatti, Francesco Di Giunta, Stefano Marino
120
Voted
PLDI
2006
ACM
15 years 9 months ago
Context-sensitive domain-independent algorithm composition and selection
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
Troy A. Johnson, Rudolf Eigenmann
163
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
119
Voted
GPEM
2008
98views more  GPEM 2008»
15 years 3 months ago
Sporadic model building for efficiency enhancement of the hierarchical BOA
Efficiency enhancement techniques--such as parallelization and hybridization--are among the most important ingredients of practical applications of genetic and evolutionary algori...
Martin Pelikan, Kumara Sastry, David E. Goldberg
135
Voted
ICC
2007
IEEE
181views Communications» more  ICC 2007»
15 years 10 months ago
Downlink Call Admission Control in Multiservice WiMAX Networks
Abstract— WiMAX (Worldwide Interoperability for Microwave Access) is a promising technology for last-mile broadband Internet access. In multiservice WiMAX networks, call admissio...
Bo Rong, Yi Qian, Kejie Lu