8337 search results - page 388 / 1668 » Reasoning With Characteristic Models |
219
click to vote
SIGIR
2005
ACM
16 years 11 days ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
191
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: A number of studies on biological networks have been carried out to unravel the topological characteristics that can explain the functional importance of network nodes...
194
click to vote
ACML
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Topic models are a discrete analogue to principle component analysis and independent component analysis that model topic at the word level within a document. They have ma...
152
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
141
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speci...