2490 search results - page 283 / 498 » Complexity of Contextual Reasoning |
150
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
142
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
154
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
144
Voted
DELTA
2004
IEEE
15 years 8 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
129
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...