47 search results - page 7 / 10 » Modeling and Validating Hybrid Systems Using VDM and Mathema... |
111
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
COLING
2008
14 years 11 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
ISQED
2003
IEEE
15 years 2 months ago
2003
IEEE
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
IROS
2006
IEEE
2006
IEEE
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
15 years 3 months ago
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
TIFS
2010
14 years 8 months ago
2010
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to ensure the optimal performance for the desired level of security. The adaptive c...