3573 search results - page 474 / 715 » Reasoning about Codata |
165
click to vote
SIGCSE
2006
ACM
16 years 14 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
177
click to vote
SOFTVIS
2006
ACM
16 years 14 days ago
2006
ACM
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
189
click to vote
AICT
2005
IEEE
16 years 4 days ago
2005
IEEE
Clock synchronization has paid a great magnitude of attention in the distributed systems. Sensor networks differ from traditional distributed system in many ways. One of the drama...
197
click to vote
AVSS
2005
IEEE
16 years 4 days ago
2005
IEEE
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is gener...
187
click to vote
COMPSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...