Sciweavers

6431 search results - page 1160 / 1287
» Model Building by Resolution
Sort
View
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 29 days 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...
ICDAR
2009
IEEE
15 years 28 days 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
ICDM
2009
IEEE
162views Data Mining» more  ICDM 2009»
15 years 28 days ago
Towards a Universal Text Classifier: Transfer Learning Using Encyclopedic Knowledge
Document classification is a key task for many text mining applications. However, traditional text classification requires labeled data to construct reliable and accurate classifie...
Pu Wang, Carlotta Domeniconi
ICOODB
2009
246views Database» more  ICOODB 2009»
15 years 27 days ago
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
Miguel Garcia
CNSM
2010
15 years 18 days ago
Automated and secure IPv6 configuration in enterprise networks
Over the last decade, IPv6 has established itself as the most mature network protocol for the future Internet. Its recent deployment in core networks of operators, its availability...
Frederic Beck, Olivier Festor, Isabelle Chrisment,...
« Prev « First page 1160 / 1287 Last » Next »