549 search results - page 61 / 110 » Verification condition generation for conditional informatio... |
111
click to vote
MASCOTS
2003
15 years 1 months ago
2003
When the World-Wide Web was first created, the content on most Web sites was simply a collection of static files. Today, many Web sites dynamically generate responses “on the ...
134
Voted
JMLR
2010
14 years 7 months ago
2010
We introduce a simple order-based greedy heuristic for learning discriminative structure within generative Bayesian network classifiers. We propose two methods for establishing an...
108
Voted
SEMWEB
2009
Springer
15 years 5 months ago
2009
Springer
—A challenge in providing scientific data services to a broad user base is to also provide the metadata services and tools the user base needs to correctly interpret and trust t...
107
click to vote
DEDS
2000
15 years 12 days ago
2000
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
69
Voted
ICONIP
2009
14 years 10 months ago
2009
Abstract. Wild rodents learn the danger-predicting meaning of predator bird calls through the paring of cues which are an aversive stimulus (immediate danger signal or unconditione...