29046 search results - page 351 / 5810 » Computable Models |
244
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
We study the problem of efficiently computing diverse query results in online shopping applications, where users specify queries through a form interface that allows a mix of stru...
129
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...
148
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
135
click to vote
CISIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
148
click to vote
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...