264 search results - page 32 / 53 » Decomposing Algebraic Varieties |
186
Voted
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
183
click to vote
CASC
2006
Springer
15 years 9 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
169
click to vote
JCB
2006
15 years 5 months ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
165
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
149
click to vote
TASE
2008
IEEE
16 years 9 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...