7106 search results - page 352 / 1422 » Restricted Complexity, General Complexity |
163
Voted
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
148
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
134
Voted
CP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
176
Voted
FCCM
2009
IEEE
15 years 9 months ago
2009
IEEE
Artificial neural networks are a key tool for researchers attempting to understand and replicate the behaviour and intelligence found in biological neural networks. Software simul...
135
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...