2095 search results - page 80 / 419 » Describing Groups |
149
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
148
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
––This paper describes algorithms for automatic layout synthesisofleafcellsin1–dandinanew1–1/2–dlayoutstyle,useful for non–dual circuit styles. The graph theory based a...
123
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Orthology is one of the cornerstones of gene function prediction. Dividing the phylogenetic relations between genes into either orthologs or paralogs is however an ove...
138
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The Semi-Public Displays project utilizes public displays to assist in the interactions of small groups. This paper describes a set of visualizations for presence information of g...
172
click to vote
ICDM
2007
IEEE
16 years 10 days ago
2007
IEEE
We present an extension to the Lasso [9] for binary classification problems with ordered attributes. Inspired by the Fused Lasso [8] and the Group Lasso [10, 4] models, we aim to...