4502 search results - page 394 / 901 » Regular Model Checking |
164
click to vote
AAAI
1990
15 years 8 months ago
1990
Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...
151
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We define the "Pulse Synchronization" problem that requires nodes to achieve tight synchronization of regular pulse events, in the settings of distributed computing syste...
175
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
In table soccer, humans can not always thoroughly observe fast actions like rod spins and kicks. However, this is necessary in order to detect rule violations for example for tourn...
219
click to vote
ICCS
2010
Springer
15 years 5 months ago
2010
Springer
Although concept maps have been found to be effective in science education research, these are critiqued for being informal due to informal usage of relation and attribute names t...
261
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Blind image deconvolution is an ill-posed problem that requires regularization to solve. However, many common forms of image prior used in this setting have a major drawback in th...