Sciweavers

1413 search results - page 40 / 283
» A Theory for Memory-Based Learning
Sort
View
JITECH
2010
116views more  JITECH 2010»
15 years 3 months ago
Design theory for dynamic complexity in information infrastructures: the case of building internet
We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
Ole Hanseth, Kalle Lyytinen
192
Voted
FROCOS
2011
Springer
14 years 4 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
LREC
2010
238views Education» more  LREC 2010»
15 years 6 months ago
Context Fusion: The Role of Discourse Structure and Centering Theory
Questions are not asked in isolation. Their context, viz. the preceding interactions, might be of help to understand them and retrieve the correct answer. Previous research in Int...
Raffaella Bernardi, Manuel Kirschner, Zorana Ratko...
123
Voted
NN
1998
Springer
15 years 4 months ago
Multilayer neural networks and Bayes decision theory
There are many applications of multilayer neural networks to pattern classification problems in the engineering field. Recently, it has been shown that Bayes a posteriori probab...
Ken-ichi Funahashi
147
Voted
CODES
2010
IEEE
15 years 2 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...