Sciweavers

7366 search results - page 468 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Active Network Vision and Reality: Lessons from a Capsule-Based System
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
David Wetherall
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
CLEAR
2007
Springer
134views Biometrics» more  CLEAR 2007»
16 years 29 days ago
The ICSI RT07s Speaker Diarization System
Abstract. In this paper, we present the ICSI speaker diarization system. This system was used in the 2007 National Institute of Standards and Technology (NIST) Rich Transcription e...
Chuck Wooters, Marijn Huijbregts
ICDM
2008
IEEE
107views Data Mining» more  ICDM 2008»
16 years 1 months ago
GeoDMA - A Novel System for Spatial Data Mining
Although a huge amount of remote sensing data has been provided by Earth observation satellites, few data manipulation techniques and information extraction in large data sets hav...
Thales Sehn Korting, Leila Maria Garcia Fonseca, M...
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 11 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...