258 search results - page 51 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
176
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...
134
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...
116
Voted
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
Portable Document Format (PDF) is a page-oriented, graphically rich format based on PostScript semantics and it is also the format interpreted by the Adobe Acrobat viewers. Althou...
130
Voted
CP
2004
Springer
15 years 9 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
120
Voted
ASM
2004
ASM
15 years 9 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...