Sciweavers

25111 search results - page 8 / 5023
» Information Systems
Sort
View
CCS
2004
ACM
14 years 3 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
SIGMOD
2008
ACM
134views Database» more  SIGMOD 2008»
14 years 10 months ago
SystemT: a system for declarative information extraction
As applications within and outside the enterprise encounter increasing volumes of unstructured data, there has been renewed interest in the area of information extraction (IE) ? t...
Rajasekar Krishnamurthy, Yunyao Li, Sriram Raghava...
GROUP
2009
ACM
14 years 4 months ago
Motivated by information: information about online collective action as an incentive for participation
This paper describes research focused on understanding the role of incomplete structural information about online collective action systems in participation decisions. Specificall...
Judd Antin
ICASSP
2009
IEEE
13 years 7 months ago
Log-likelihood ratio clipping in MIMO-BICM systems: Information geometric analysis and impact on system capacity
The clipping of log-likelihood ratios (LLRs) in soft demodulators for multiple-input multiple-output (MIMO) systems with bitinterleaved coded modulation (BICM) was recently observ...
Stefan Schwandter, Peter Fertl, Clemens Novak, Ger...
ECIR
1998
Springer
13 years 11 months ago
Combining Information Retrieval with Information Extraction for Efficient Retrieval of Calls for Papers
In many domains there are specific attributes in documents that carry more weight than the general words in the document. This paper proposes the use of information extraction tec...
F. Lazarinis