2364 search results - page 412 / 473 » An Engine for Computing Well-Founded Models |
138
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
134
click to vote
ISDO
2000
15 years 5 months ago
2000
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
123
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
148
Voted
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
134
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In ongoing research, a collaborative peer network application is being proposed to address the scalability limitations of centralized search engines. Here we introduce a local ada...