4502 search results - page 762 / 901 » Regular Model Checking |
121
click to vote
DRM
2006
Springer
15 years 8 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
142
Voted
GD
2006
Springer
15 years 8 months ago
2006
Springer
We consider graph drawing algorithms for learning spaces, a type of st-oriented partial cube derived from an antimatroid and used to model states of knowledge of students. We show...
136
Voted
EPIA
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
125
click to vote
ICIP
1995
IEEE
15 years 8 months ago
1995
IEEE
Abstract— Motion discontinuities arise when there are occlusions or multiple moving objects in the scene that is imaged. Conventional regularization techniques use smoothness con...
132
click to vote
FLAIRS
2008
15 years 7 months ago
2008
To facilitate more meaningful interpretation considering the internal interdependency relationships between data values, a new form of high-order (multiple-valued) pattern known a...