77016 search results - page 73 / 15404 » Modeling |
110
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
We are interested in recovering aspects of vocal tract’s geometry and dynamics from auditory and visual speech cues. We approach the problem in a statistical framework based on ...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
111
click to vote
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 5 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...