3342 search results - page 234 / 669 » Automating Abstract Interpretation |
127
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
110
Voted
EPS
1995
Springer
15 years 7 months ago
1995
Springer
: This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programm...
151
Voted
ICIA
2007
15 years 5 months ago
2007
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
130
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Future information, knowledge and content infrastructures which provide highly automated support in fulfilling users goals will most likely rely on some form of GRID computing. In ...
110
Voted
IJCAI
2007
15 years 4 months ago
2007
Machine learning for predicting user clicks in Webbased search offers automated explanation of user activity. We address click prediction in the Web search scenario by introducing...