8828 search results - page 264 / 1766 » Formal methods in practice |
145
click to vote
MIE
2008
15 years 8 months ago
2008
In clinical practice guidelines (CPGs) the medical information is stored in a narrative way. A large part of this information occurs in a negated form. The detection of negation in...
175
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
155
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
151
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Abstract: Best Practices in Longitudinal Research This workshop will identify best practices for longitudinal research through an in-depth exploration of methods and metrics for c...
185
click to vote
GROUP
2005
ACM
16 years 6 days ago
2005
ACM
Information seeking and management practices are an integral aspect of people’s daily work. However, we still have little understanding of collaboration in the information seeki...