4167 search results - page 522 / 834 » Regression model checking |
127
Voted
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
149
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
226
Voted
ICOODB
2010
15 years 2 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
125
Voted
CGI
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
145
click to vote
KDD
2006
ACM
16 years 5 months ago
2006
ACM
We describe a data mining system to detect frauds that are camouflaged to look like normal activities in domains with high number of known relationships. Examples include accounti...