6042 search results - page 237 / 1209 » Repeated Observation Models |
143
click to vote
HAPTICS
2009
IEEE
16 years 27 days ago
2009
IEEE
Simplified soft tissue models used in surgical simulations cannot perfectly reproduce all material behaviors. In particular, many tissues exhibit the Poynting effect, which resul...
196
click to vote
ACML
2009
Springer
16 years 23 days ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...
164
click to vote
ARCS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
176
click to vote
LFCS
2007
Springer
16 years 8 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
151
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...