4690 search results - page 665 / 938 » An operational semantics for Scheme |
223
click to vote
CPAIOR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
193
Voted
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
166
Voted
FAST
2008
15 years 9 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
238
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Naive Bayesian classifiers work well in data sets with independent attributes. However, they perform poorly when the attributes are dependent or when there are one or more irrelev...
191
Voted
USENIX
2008
15 years 9 months ago
2008
Aggressive energy conserving mechanisms can maximize energy efficiency, but often have the negative tradeoff of simultaneously reducing system responsiveness due to the switching ...