Sciweavers

2252 search results - page 272 / 451
» Regular expression patterns
Sort
View
116
Voted
ECOOP
2011
Springer
14 years 3 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
225
Voted
POPL
2001
ACM
16 years 3 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
122
Voted
IEEESCC
2009
IEEE
15 years 10 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
15 years 9 months 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
15 years 9 months 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