Sciweavers

2598 search results - page 475 / 520
» The Abstract Immune System Algorithm
Sort
View
TCAD
2011
13 years 5 months ago
High-Level Synthesis for FPGAs: From Prototyping to Deployment
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
Jason Cong, Bin Liu, Stephen Neuendorffer, Juanjo ...
CAV
2011
Springer
216views Hardware» more  CAV 2011»
13 years 2 months ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song
AIME
2011
Springer
12 years 11 months ago
Diagnosis Code Assignment Support Using Random Indexing of Patient Records - A Qualitative Feasibility Study
Abstract. The prediction of diagnosis codes is typically based on freetext entries in clinical documents. Previous attempts to tackle this problem range from strictly rule-based sy...
Aron Henriksson, Martin Hassel, Maria Kvist
ATVA
2011
Springer
213views Hardware» more  ATVA 2011»
12 years 11 months ago
Max and Sum Semantics for Alternating Weighted Automata
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
Shaull Almagor, Orna Kupferman
CEC
2011
IEEE
12 years 11 months ago
Towards human-like social multi-agents with memetic automaton
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
Liang Feng, Yew-Soon Ong, Ah-Hwee Tan, Xianshun Ch...