Sciweavers

13977 search results - page 2536 / 2796
» Evolution in complex systems
Sort
View
TSE
2011
214views more  TSE 2011»
15 years 1 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
TVCG
2011
125views more  TVCG 2011»
15 years 1 months ago
Video Painting with Space-Time-Varying Style Parameters
—Artists use different means of stylization to control the focus on different objects in the scene. This allows them to portray complex meaning and achieve certain artistic effec...
Mizuki Kagaya, William Brendel, Qingqing Deng, Tod...
COGSR
2011
105views more  COGSR 2011»
15 years 1 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
INTERSPEECH
2010
15 years 1 months ago
Rapid development of speech translation using consecutive interpretation
The development of a speech translation (ST) system is costly, largely because it is expensive to collect parallel data. A new language pair is typically only considered in the af...
Matthias Paulik, Alex Waibel
JAISE
2010
182views Algorithms» more  JAISE 2010»
15 years 1 months ago
Exploring semantics in activity recognition using context lattices
Studying human activities has significant implication in human beneficial applications such as personal healthcare. This research has been facilitated by the development of sensor ...
Juan Ye, Simon Dobson
« Prev « First page 2536 / 2796 Last » Next »