25189 search results - page 335 / 5038 » Information Systems Frontiers |
184
Voted
JCS
2007
15 years 6 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
175
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Recent proposals to apply data mining systems to problems in law enforcement, national security, and fraud detection have attracted both media attention and technical critiques of...
200
click to vote
ICDE
2005
IEEE
16 years 12 days ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...
160
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes music information retrieval (MIR) systems featuring automatic speech recognition. Although various interfaces for MIR have been proposed, speech-recognition i...
163
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...