2588 search results - page 273 / 518 » Applications of Kolmogorov complexity to computable model th... |
182
Voted
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper breaks with the common practice of using a joint state space representation and performing the joint data association in multi-object tracking. Instead, we present an i...
224
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
181
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
169
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
180
click to vote
ACSC
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...