Sciweavers

1033 search results - page 95 / 207
» Using Temporal Language Models for Document Dating
Sort
View
WISE
2002
Springer
15 years 2 months ago
Towards Declarative XML Querying
How to extract data from XML documents is an important issue for XML research and development. However, how to view XML documents determines how they can be queried. In this paper...
Mengchi Liu, Tok Wang Ling
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 3 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
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...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
ICSE
2000
IEEE-ACM
15 years 1 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
ICDM
2008
IEEE
148views Data Mining» more  ICDM 2008»
15 years 4 months ago
Formal Models for Expert Finding on DBLP Bibliography Data
Finding relevant experts in a specific field is often crucial for consulting, both in industry and in academia. The aim of this paper is to address the expert-finding task in a...
Hongbo Deng, Irwin King, Michael R. Lyu
ICDAR
2009
IEEE
15 years 4 months ago
A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition
: © A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition Vandana Roy, Sriganesh Madhvanath, Anand S., Raghunath R. Sharma HP Labora...
Vandana Roy, Sriganesh Madhvanath, Anand S., Ragun...