12981 search results - page 2433 / 2597 » Model Checking (Abstract) |
139
Voted
IEEEPACT
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Chip-MultiProcessor (CMP) architectures are becoming more and more popular as an alternative to the traditional processors that only extract instruction-level parallelism...
140
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
124
Voted
CJ
2010
15 years 1 months ago
2010
A policy for a minimal reactive agent is a set of condition-action rules used to determine its response to perceived environmental stimuli. When the policy pre-disposes the agent t...
138
Voted
CONSTRAINTS
2010
15 years 29 days ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
146
click to vote
CORR
2010
Springer
15 years 29 days ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...