245 search results - page 32 / 49 » Efficient Solving of Time-dependent Answer Set Programs |
101
click to vote
CCE
2004
14 years 11 months ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
ICML
2004
IEEE
16 years 17 days ago
2004
IEEE
A new large margin classifier, named MaxiMin Margin Machine (M4 ) is proposed in this paper. This new classifier is constructed based on both a "local" and a "globa...
RECOMB
2002
Springer
16 years 2 days ago
2002
Springer
There are many critical situations when one needs to rapidly identify an unidentified pathogen from among a given set of previously sequenced pathogens. DNA or RNA hybridization c...
105
click to vote
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
Current search engines can hardly cope adequately with fuzzy predicates defined by complex preferences. The biggest problem of search engines implemented with standard SQL is that...
224
click to vote
Lecture Notes
"This course will consist of a number of major sections. The first will be a short review of some preliminary material, including asymptotics, summations, and recurrences and ...