827 search results - page 30 / 166 » Patterns for Timed Property Specifications |
CSDA
2008
15 years 2 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...
156
click to vote
PG
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
114
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes an active-camera real-time system for tracking, shape description, and classification of the human face and mouth using only an SGI Indy computer. The system...
114
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...
104
click to vote
AAAI
2006
15 years 3 months ago
2006
EPFC (Emerging Patterns in Food Complaints) is the analytical component of the Consumer Complaint Monitoring System, designed to help the food safety officials to efficiently and ...