Sciweavers

15660 search results - page 276 / 3132
» The Unbalance of Set Systems
Sort
View
AMAST
2006
Springer
15 years 10 months ago
Hyperfinite Approximations to Labeled Markov Transition Systems
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
Ernst-Erich Doberkat
PADL
2000
Springer
15 years 10 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
177
Voted
ACL
2007
15 years 8 months ago
A System for Large-Scale Acquisition of Verbal, Nominal and Adjectival Subcategorization Frames from Corpora
This paper describes the first system for large-scale acquisition of subcategorization frames (SCFs) from English corpus data which can be used to acquire comprehensive lexicons ...
Judita Preiss, Ted Briscoe, Anna Korhonen
EVOTING
2004
94views Hardware» more  EVOTING 2004»
15 years 8 months ago
How Security Problems can Compromise Remote Internet Voting Systems
: Remote Internet voting systems still suffer from many security problems which rely on the clients, the servers, and the network connections. Denial-ofservice attacks and viruses ...
Guido Schryen
DGO
2003
295views Education» more  DGO 2003»
15 years 8 months ago
Technology Implementation Management in Law Enforcement: COPLINK System Usability and User Acceptance Evaluations
In this paper, we report on two user-centric evaluation studies of COPLINK, a suite of criminal data mining and knowledge management applications developed at the University of Ari...
Chienting Lin, Paul J. Hu, Hsinchun Chen, Jennifer...