Sciweavers

2748 search results - page 344 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
15 years 10 months ago
Localization and Register Sharing for Predicate Abstraction
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay ...
EMSOFT
2004
Springer
15 years 10 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
ICASSP
2008
IEEE
15 years 11 months ago
Voice source cepstrum coefficients for speaker identification
We propose a novel feature set for speaker recognition that is based on the voice source signal. The feature extraction process uses closed-phase LPC analysis to estimate the voca...
Jon Gudnason, Mike Brookes
GRAPHICSINTERFACE
2000
15 years 5 months ago
Fast and Controllable Simulation of the Shattering of Brittle Objects
We present a method for the rapid and controllable simulation of the shattering of brittle objects under impact. An object to be broken is represented as a set of point masses con...
Jeffrey Smith, Andrew P. Witkin, David Baraff
ICCSA
2003
Springer
15 years 9 months ago
Web Visualization of Function-Defined Shapes
Abstract. This paper describes how function-based shape modeling can be expanded to web visualization, as well as how web-based visualization can be greatly improved by using the f...
Alexei Sourin, Lai Feng Min, Konstantin Levinski