Sciweavers

3974 search results - page 539 / 795
» Metric Functional Dependencies
Sort
View
DAC
1999
ACM
16 years 8 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
MICCAI
2005
Springer
16 years 8 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...
ICML
2003
IEEE
16 years 8 months ago
Hidden Markov Support Vector Machines
This paper presents a novel discriminative learning technique for label sequences based on a combination of the two most successful learning algorithms, Support Vector Machines an...
Yasemin Altun, Ioannis Tsochantaridis, Thomas Hofm...
CHI
2004
ACM
16 years 7 months ago
Mouse and touchscreen selection in the upper and lower visual fields
Neuroanatomical evidence indicates the human eye's visual field can be functionally divided into two vertical hemifields, each specialized for specific functions. The upper v...
Barry A. Po, Brian D. Fisher, Kellogg S. Booth
RECOMB
2008
Springer
16 years 7 months ago
Rapid and Accurate Protein Side Chain Prediction with Local Backbone Information
High-accuracy protein structure modeling demands accurate and very fast side chain prediction since such a procedure must be repeatedly called at each step of structure refinement....
Jing Zhang, Xin Gao, Jinbo Xu, Ming Li