345 search results - page 61 / 69 » GraphML Progress Report |
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...
CVPR
2005
IEEE
14 years 2 months ago
2005
IEEE
Palmprint-based personal identification, as a new member in the biometrics family, has become an active research topic in recent years. Although great progress has been made, how ...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
The discovery of new and potentially meaningful relationships between concepts in the biomedical literature has attracted the attention of a lot of researchers in text mining. The ...
SWS
2004
ACM
14 years 1 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...