Sciweavers

2518 search results - page 175 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
FLAIRS
2004
15 years 7 months ago
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...
Lingzhong Zhou, John Thornton, Abdul Sattar
FGR
2002
IEEE
159views Biometrics» more  FGR 2002»
15 years 11 months ago
Real-Time, Fully Automatic Upper Facial Feature Tracking
Robust, real-time, fully automatic tracking of facial features is required for many computer vision and graphics applications. In this paper, we describe a fully automatic system ...
Ashish Kapoor, Rosalind W. Picard
JUCS
2010
130views more  JUCS 2010»
15 years 1 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
ICIP
2000
IEEE
16 years 8 months ago
Estimating Decoding Times of MPEG-2 Video Streams
This paper is motivated through the advantages offered by employing real-time (priority-driven) scheduling (RTS) for efficiently implementing quality-of-service guarantees. For em...
Lars-Olof Burchard, Peter Altenbernd
POPL
2008
ACM
16 years 6 months ago
Automatic inference of stationary fields: a generalization of java's final fields
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
Christopher Unkel, Monica S. Lam