Sciweavers

10615 search results - page 1555 / 2123
» Dynamic topic models
Sort
View
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 4 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
HCI
2009
15 years 4 months ago
Adaptive Learning via Social Cognitive Theory and Digital Cultural Ecosystems
This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectivenes...
Joseph Juhnke, Adam R. Kallish
ICDAR
2009
IEEE
15 years 4 months ago
Hierarchical Shape Primitive Features for Online Text-independent Writer Identification
This paper proposes a novel method to text-independent writer identification from online handwriting. The main contributions of our method include two parts: shape primitive repre...
Bangy Li, Zhenan Sun, Tieniu Tan
IJSIR
2010
161views more  IJSIR 2010»
15 years 4 months ago
Bacterial Foraging Optimization
Bacterial foraging optimization algorithm (BFOA) has been widely accepted as a global optimization algorithm of current interest for distributed optimization and control. BFOA is i...
Kevin M. Passino
216
Voted
CNSM
2010
15 years 3 months ago
Risk management in VoIP infrastructures using support vector machines
Telephony over IP is exposed to multiple security threats. Conventional protection mechanisms do not fit into the highly dynamic, open and large-scale settings of VoIP infrastructu...
Mohamed Nassar, Oussema Dabbebi, Remi Badonnel, Ol...
« Prev « First page 1555 / 2123 Last » Next »