Sciweavers

1236 search results - page 217 / 248
» Programming by Demonstration for Information Agents
Sort
View
80
Voted
IV
2007
IEEE
222views Visualization» more  IV 2007»
15 years 3 months ago
Video Stabilization Using Scale-Invariant Features
Video Stabilization is one of those important video processing techniques to remove the unwanted camera vibration in a video sequence. In this paper, we present a practical method...
Rong Hu, Rongjie Shi, I-Fan Shen, Wenbin Chen
ACSAC
2006
IEEE
15 years 3 months ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
DSN
2006
IEEE
15 years 3 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
65
Voted
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
15 years 3 months ago
Optimizing an IT Project Portfolio with Time-Wise Interdependencies
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
Indranil R. Bardhan, Robert J. Kauffman, Sanjeewa ...
INFOSCALE
2006
ACM
15 years 3 months ago
Scalable hardware accelerator for comparing DNA and protein sequences
Abstract— Comparing genetic sequences is a well-known problem in bioinformatics. Newly determined sequences are being compared to known sequences stored in databases in order to ...
Philippe Faes, Bram Minnaert, Mark Christiaens, Er...