3605 search results - page 180 / 721 » Associated types with class |
149
click to vote
DNA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
158
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
143
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
114
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We describe a general framework for online multiclass learning based on the notion of hypothesis sharing. In our framework sets of classes are associated with hypotheses. Thus, al...
121
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...