3804 search results - page 269 / 761 » From Here to There |
162
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
176
Voted
EWRL
2008
15 years 8 months ago
2008
If one possesses a model of a controlled deterministic system, then from any state, one may consider the set of all possible reachable states starting from that state and using any...
167
click to vote
NIPS
2008
15 years 8 months ago
2008
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
166
click to vote
IJCAI
2001
15 years 8 months ago
2001
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...
149
click to vote
BIB
2008
15 years 6 months ago
2008
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...