Sciweavers

2252 search results - page 272 / 451
» Regular expression patterns
Sort
View
ECOOP
2011
Springer
14 years 6 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
POPL
2001
ACM
16 years 6 months ago
Colored local type inference
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
Martin Odersky, Christoph Zenger, Matthias Zenger
IEEESCC
2009
IEEE
16 years 1 months ago
Service Composition Based on Natural Language Requests
—The easiest way for a user to express his needs regarding a desired service is to use natural language. The main issues come from the fact that the natural language is incomplet...
Marcel Cremene, Jean-Yves Tigli, Stephane Lavirott...
ICPR
2008
IEEE
16 years 26 days ago
Face recognition based on LBP and orthogonal rank-one tensor projections
In this paper, a novel framework for face recognition based on discriminatively trained orthogonal rank-one tensor projections (ORO) and local binary pattern (LBP) is proposed. LB...
NuTao Tan, Lei Huang, Changping Liu
SECURWARE
2008
IEEE
16 years 24 days ago
From Monitoring Templates to Security Monitoring and Threat Detection
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
Nuno Amálio, George Spanoudakis