Sciweavers

2748 search results - page 344 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
210
Voted
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
16 years 15 days 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
16 years 12 days 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...
172
Voted
ICASSP
2008
IEEE
16 years 1 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 8 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
186
Voted
ICCSA
2003
Springer
16 years 6 days 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