6607 search results - page 666 / 1322 » Making TeX Work |
208
click to vote
CMSB
2008
Springer
15 years 9 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
221
Voted
COCOON
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we consider a new visual cryptography scheme that allows for sharing of multiple secret images on graphs: we are given an arbitrary graph (V, E) where every node an...
205
click to vote
COLT
2008
Springer
15 years 9 months ago
2008
Springer
Clustering Stability methods are a family of widely used model selection techniques applied in data clustering. Their unifying theme is that an appropriate model should result in ...
193
click to vote
CONEXT
2008
ACM
15 years 9 months ago
2008
ACM
In response to the limitations of the Internet architecture when used for applications for which it was not originally designed, a series of clean slate efforts have emerged to sh...
190
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...