2562 search results - page 216 / 513 » The Use of B2B Process Standards: A Case Study |
144
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines. We are particularly interested in methods th...
190
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
176
click to vote
MABS
2004
Springer
15 years 12 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
173
Voted
SAFECOMP
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...