202 search results - page 13 / 41 » Embedding Formal Knowledge Models in Active Documents |
145
click to vote
SAFECOMP
1998
Springer
15 years 8 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...
129
click to vote
ECLIPSE
2006
ACM
15 years 10 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 ...
146
click to vote
ICML
2004
IEEE
16 years 5 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 ...
133
click to vote
UM
2010
Springer
15 years 9 months 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 ...
133
click to vote
ICDM
2007
IEEE
15 years 10 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...