Sciweavers

6018 search results - page 1112 / 1204
» Factored Translation Models
Sort
View
207
Voted
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 3 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 14 days ago
On optimal input signal design for frequency response estimation
This paper studies optimal input excitation design for parametric frequency response estimation. We will focus on least-squares estimation of Finite Impulse Response (FIR) models a...
Bo Wahlberg, Håkan Hjalmarsson, Petre Stoica
PROMISE
2010
15 years 6 days ago
Prediction of defect distribution based on project characteristics for proactive project management
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
Youngki Hong, Wondae Kim, Jeongsoo Joo
TNN
2010
148views Management» more  TNN 2010»
15 years 5 days ago
A fast algorithm for robust mixtures in the presence of measurement errors
Abstract--In experimental and observational sciences, detecting atypical, peculiar data from large sets of measurements has the potential of highlighting candidates of interesting ...
Jianyong Sun, Ata Kabán
CORR
2011
Springer
145views Education» more  CORR 2011»
14 years 9 months ago
Collective Animal Behavior from Bayesian Estimation and Probability Matching
Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in an...
Alfonso Pérez-Escudero, Gonzalo G. de Polav...
« Prev « First page 1112 / 1204 Last » Next »