1790 search results - page 151 / 358 » Automatic Keyword Extraction Using Domain Knowledge |
191
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
The large amount of patterns generated by frequent pattern mining algorithms has been extensively addressed in the last few years. In geographic pattern mining, besides the large ...
115
click to vote
DYNAMO
2000
15 years 4 months ago
2000
Many binary tools, such as disassemblers, dynamiccode generation systems, and executable code rewriters, need to understand how machine instructions are encoded. Unfortunately, sp...
120
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
129
click to vote
IAT
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...
120
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...