1648 search results - page 184 / 330 » Computing swept volumes |
126
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
119
click to vote
EMNLP
2009
15 years 1 months ago
2009
Randomised techniques allow very big language models to be represented succinctly. However, being batch-based they are unsuitable for modelling an unbounded stream of language whi...
142
click to vote
DEBU
2010
15 years 20 days ago
2010
The high random and sequential I/O requirements of contemplated workloads could serve as impetus to move faster towards storage-class memory (SCM), a technology that will blur the...
160
click to vote
JCIT
2010
14 years 10 months ago
2010
With the development of high-speed network technique and increasing volume of network traffic, traditional pattern matching method can't adapt to the new challenges to intrus...
120
Voted
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
We propose a new multiscale method to incorporate active transport of cargo particles in biological cells in stochastic, mesoscopic models of reaction-transport processes. Given a...