Sciweavers

571 search results - page 99 / 115
» Domain Theory in Logical Form
Sort
View
COMPGEOM
2003
ACM
15 years 2 months ago
Molecular shape analysis based upon the morse-smale complex and the connolly function
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
Frédéric Cazals, Frédé...
79
Voted
SIAMCO
2008
130views more  SIAMCO 2008»
14 years 9 months ago
Important Moments in Systems and Control
The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence on the...
Christopher I. Byrnes, Anders Lindquist
ICIP
2006
IEEE
15 years 11 months ago
Perfect Reconstruction AM-FM Image Models
For the first time, we present an AM-FM image model that, in addition to being remarkably consistent with human visual perception, also provides perfect reconstruction of the imag...
Roy A. Sivley, Joseph P. Havlicek
ICDE
2007
IEEE
155views Database» more  ICDE 2007»
15 years 11 months ago
Collaborative Wrapping: A Turbo Framework for Web Data Extraction
To access data sources on the Web, a crucial step is wrapping, which translates query responses, rendered in textual HTML, back into their relational form. Traditionally, this pro...
Shui-Lung Chuang, Kevin Chen-Chuan Chang, ChengXia...
SOFSEM
2009
Springer
15 years 6 months ago
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Abstract. Computational mechanism design (CMD) seeks to understand how to design game forms that induce desirable outcomes in multiagent systems despite private information, self-i...
David C. Parkes