Sciweavers

1054 search results - page 158 / 211
» Guarded Expressions in Practice
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
Fast Overlapping Group Lasso
The group Lasso is an extension of the Lasso for feature selection on (predefined) non-overlapping groups of features. The non-overlapping group structure limits its applicability...
Jun Liu, Jieping Ye
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 6 months ago
A Logic Programming Framework for Combinational Circuit Synthesis
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
Paul Tarau, Brenda Luderman
ENGL
2008
85views more  ENGL 2008»
15 years 5 months ago
Prediction of Concentration Profiles of Dispersed Particles through Horizontal Cylindrical Channels
Deposition of dispersed and ultradispersed solid particles in cylindrical channels has received considerable attention due to its practical significance and direct application in i...
Herbert Loria Molina, Pedro Pereira-Almao, Carlos ...
FAC
2008
97views more  FAC 2008»
15 years 5 months ago
A functional formalization of on chip communications
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
Julien Schmaltz, Dominique Borrione
IIE
2008
149views more  IIE 2008»
15 years 5 months ago
Information Technologies for Biology Education: Computerized Electrophysiology of Plant Cells
Abstract. Biology has moved from a bench-based discipline to a bioinformational science in modern times but application of computational and analytical methods of informatics in it...
Vilma Kisnieriene, Kastytis Beitas, Vidmantas Saka...