Sciweavers

5186 search results - page 912 / 1038
» Embedded Systems
Sort
View
TSE
2011
214views more  TSE 2011»
14 years 10 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
IMC
2009
ACM
15 years 9 months ago
Triangle inequality variations in the internet
Triangle inequality violations (TIVs) are important for latency sensitive distributed applications. On one hand, they can expose opportunities to improve network routing by findi...
Cristian Lumezanu, Randolph Baden, Neil Spring, Bo...
ECCV
2006
Springer
16 years 5 months ago
An Intensity Similarity Measure in Low-Light Conditions
In low-light conditions, it is known that Poisson noise and quantization noise become dominant sources of noise. While intensity difference is usually measured by Euclidean distanc...
François Alter, Yasuyuki Matsushita, Xiaoou...
ICIP
2006
IEEE
16 years 4 months ago
A Hierarchical ASM/AAM Approach in a Stochastic Framework for Fully Automatic Tracking and Recognition
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
Andre Störmer, Gerhard Rigoll, Sascha Schreib...
NN
2010
Springer
225views Neural Networks» more  NN 2010»
15 years 1 months ago
Learning to imitate stochastic time series in a compositional way by chaos
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
Jun Namikawa, Jun Tani