3082 search results - page 248 / 617 » Deviation Analysis: A New Use of Model Checking |
175
click to vote
JCDL
2006
ACM
16 years 15 days ago
2006
ACM
Measurements of the impact and history of research literature provide a useful complement to scientific digital library collections. Bibliometric indicators have been extensively...
172
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
148
click to vote
AISS
2010
15 years 4 months ago
2010
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...
189
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present a new algorithm for best-effort simplification of polygonal meshes based on principles of visual perception. Building on previous work, we use a simple model of low-lev...
172
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...