4421 search results - page 740 / 885 » Libraries |
103
click to vote
STTT
2010
14 years 12 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
143
click to vote
TCOS
2010
14 years 12 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
129
click to vote
TKDE
2010
14 years 12 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
168
click to vote
VL
2010
IEEE
14 years 12 months ago
2010
IEEE
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
150
click to vote
3PGCIC
2010
14 years 11 months ago
2010
Using a car driving simulator, we can observe drivers' behaviors in dangerous situations safely. We constructed an immersive car driving simulator. We conducted an experiment ...