Sciweavers

ASIAN
2004
Springer
153views Algorithms» more  ASIAN 2004»
14 years 2 months ago
Chi-Square Matrix: An Approach for Building-Block Identification
This paper presents a line of research in genetic algorithms (GAs), called building-block identification. The building blocks (BBs) are common structures inferred from a set of sol...
Chatchawit Aporntewan, Prabhas Chongstitvatana
ASIAN
2004
Springer
140views Algorithms» more  ASIAN 2004»
14 years 4 months ago
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...
Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng
ASIAN
2004
Springer
117views Algorithms» more  ASIAN 2004»
14 years 4 months ago
The Feature Selection and Intrusion Detection Problems
Cyber security is a serious global concern. The potential of cyber terrorism has posed a threat to national security; meanwhile the increasing prevalence of malware and incidents o...
Andrew H. Sung, Srinivas Mukkamala
ASIAN
2004
Springer
73views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Towards Flexible Graphical Communication Using Adaptive Diagrams
Abstract. Unlike today where the majority of diagrams are static, lifeless objects reflecting their origin in print media, the computer of the near future will provide more flexi...
Kim Marriott, Bernd Meyer, Peter J. Stuckey
ASIAN
2004
Springer
69views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing
Abstract. We give conditions for hash table probing which minimize the expected number of collisions. A probing algorithm is determined by a sequence of numbers denoting jumps for ...
Lars Lundberg, Håkan Lennerstad, Kamilla Klo...
ASIAN
2004
Springer
78views Algorithms» more  ASIAN 2004»
14 years 4 months ago
A Simple Theory of Expressions, Judgments and Derivations
We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give...
Masahiko Sato
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
ASIAN
2004
Springer
107views Algorithms» more  ASIAN 2004»
14 years 4 months ago
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar ...
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
ASIAN
2004
Springer
109views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Online Stochastic and Robust Optimization
This paper considers online stochastic optimization problems where uncertainties are characterized by a distribution that can be sampled and where time constraints severely limit t...
Russell Bent, Pascal Van Hentenryck