6527 search results - page 948 / 1306 » On Typing Information Flow |
221
click to vote
IICAI
2003
15 years 9 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...
160
click to vote
COLING
1996
15 years 9 months ago
1996
This paper presents a way to compute relative social status of the individuals involved in Korean dialogue. Every Korean sentence indicates whether honorification occurs in it. Th...
254
click to vote
FORTE
1994
15 years 9 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
170
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The Ensembl web site has provided access to genomic information for almost 10 years. During this time the amount of data available through Ensembl has grown dramatical...
240
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The increasing amount of published literature in biomedicine represents an immense source of knowledge, which can only efficiently be accessed by a new generation of a...