4502 search results - page 468 / 901 » Regular Model Checking |
160
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...
241
click to vote
PARA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
177
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
207
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a new data structure, called Fan-Meshes (FM), for reconstructing 3D models and scenes represented by dense scanning point clouds. It is a local piecewise linear approxi...
189
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...