2905 search results - page 378 / 581 » Formal Memetic Algorithms |
118
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
140
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
118
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...
142
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Fuzzy ontologies are envisioned to be useful in the Semantic Web. Existing fuzzy ontology reasoners are not scalable enough to handle the scale of data that the Web provides. In t...
145
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...