Sciweavers

3338 search results - page 195 / 668
» Assigning Papers to Referees
Sort
View
GSN
2009
Springer
15 years 10 months ago
Efficient Viewpoint Selection for Urban Texture Documentation
We envision participatory texture documentation (PTD) as a process in which a group of participants (dedicated individuals and/or general public) with camera-equipped mobile phones...
Houtan Shirani-Mehr, Farnoush Banaei Kashani, Cyru...
ATVA
2006
Springer
112views Hardware» more  ATVA 2006»
15 years 10 months ago
Synthesis for Probabilistic Environments
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
Sven Schewe
DAWAK
2006
Springer
15 years 9 months ago
A Greedy Approach to Concurrent Processing of Frequent Itemset Queries
We consider the problem of concurrent execution of multiple frequent itemset queries. If such data mining queries operate on overlapping parts of the database, then their overall I...
Pawel Boinski, Marek Wojciechowski, Maciej Zakrzew...
GECCO
2006
Springer
164views Optimization» more  GECCO 2006»
15 years 9 months ago
Adaptation for parallel memetic algorithm based on population entropy
In this paper, we propose the island model parallel memetic algorithm with diversity-based dynamic adaptive strategy (PMADLS) for controlling the local search frequency and demons...
Jing Tang, Meng-Hiot Lim, Yew-Soon Ong
CSL
2009
Springer
15 years 9 months ago
Intersection, Universally Quantified, and Reference Types
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
Mariangiola Dezani-Ciancaglini, Paola Giannini, Si...