Sciweavers

5722 search results - page 18 / 1145
» Dynamic inference control
Sort
View
DBSEC
2010
111views Database» more  DBSEC 2010»
14 years 7 months ago
Efficient Inference Control for Open Relational Queries
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan...
POPL
2011
ACM
14 years 14 days ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
88
Voted
AAAI
2006
14 years 11 months ago
Performing Incremental Bayesian Inference by Dynamic Model Counting
The ability to update the structure of a Bayesian network when new data becomes available is crucial for building adaptive systems. Recent work by Sang, Beame, and Kautz (AAAI 200...
Wei Li 0002, Peter van Beek, Pascal Poupart
89
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
CIARP
2007
Springer
15 years 3 months ago
Dynamic Penalty Based GA for Inducing Fuzzy Inference Systems
Abstract. Fuzzy based models have been used in many areas of research. One issue with these models is that rule bases have the potential for indiscriminant growth. Inference system...
Tomás Arredondo Vidal, Félix V&aacut...