4520 search results - page 189 / 904 » Algebraic Techniques for Timed Systems |
166
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
181
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
189
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We describe our investigations in generating textual summaries of physiological time series data to aid medical personnel in monitoring babies in neonatal intensive care units. Ou...
196
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...
197
click to vote
AWCC
2004
Springer
16 years 16 days ago
2004
Springer
Security becomes increasingly important. However, existing security tools, almost all defensive, have many vulnerabilities which are hard to overcome because of the lack of informa...