Sciweavers

2131 search results - page 266 / 427
» Immunity for Closed Sets
Sort
View
ISSTA
2006
ACM
16 years 14 days ago
APTE: automated pointcut testing for AspectJ programs
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
Prasanth Anbalagan, Tao Xie
SIGIR
2006
ACM
16 years 14 days ago
Contextual search and name disambiguation in email using graphs
Similarity measures for text have historically been an important tool for solving information retrieval problems. In many interesting settings, however, documents are often closel...
Einat Minkov, William W. Cohen, Andrew Y. Ng
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
16 years 4 days ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
IAT
2005
IEEE
16 years 4 days ago
Decomposing Large-Scale POMDP Via Belief State Analysis
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
Xin Li, William K. Cheung, Jiming Liu
ICCV
2005
IEEE
16 years 4 days ago
Integrating the Effects of Motion, Illumination and Structure in Video Sequences
Most work in computer vision has concentrated on studying the individual effects of motion and illumination on a 3D object. In this paper, we present a theory for combining the ef...
Yilei Xu, Amit K. Roy Chowdhury