Sciweavers

1285 search results - page 33 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
ACL
2011
13 years 4 days ago
A Discriminative Model for Joint Morphological Disambiguation and Dependency Parsing
Most previous studies of morphological disambiguation and dependency parsing have been pursued independently. Morphological taggers operate on n-grams and do not take into account...
John Lee, Jason Naradowsky, David A. Smith
PAMI
2011
12 years 11 months ago
Hidden Part Models for Human Action Recognition: Probabilistic versus Max Margin
—We present a discriminative part-based approach for human action recognition from video sequences using motion features. Our model is based on the recently proposed hidden condi...
Yang Wang 0003, Greg Mori
IPPS
2003
IEEE
14 years 1 months ago
Semi-Structured Portable Library for Multiprocessor Servers
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
Georgios Tsilikas, Martin Fleury
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
13 years 6 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 ...
VSTTE
2005
Springer
14 years 2 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller