4502 search results - page 834 / 901 » Regular Model Checking |
VLSM
2005
Springer
14 years 3 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
IUI
2004
ACM
14 years 3 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
DOCENG
2003
ACM
14 years 3 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
s of Invited Presentations The Mathematics of Matter and the Mathematics of Mind . . . . . . . . . . . . . 1 David Berlinski A Grand Challenge: Full Reactive Modeling of a Multi-ce...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Traditional ranking mainly focuses on one type of data source, and effective modeling still relies on a sufficiently large number of labeled or supervised examples. However, in m...