202 search results - page 13 / 41 » Embedding Formal Knowledge Models in Active Documents |
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ECLIPSE
2006
ACM
14 years 1 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
Many difficult visual perception problems, like 3D human motion estimation, can be formulated in terms of inference using complex generative models, defined over high-dimensional ...
UM
2010
Springer
14 years 18 days ago
2010
Springer
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
ICDM
2007
IEEE
14 years 1 months ago
2007
IEEE
Documents and authors can be clustered into “knowledge communities” based on the overlap in the papers they cite. We introduce a new clustering algorithm, Streemer, which fin...