1937 search results - page 234 / 388 » Rule Based Updates on Simple Knowledge Bases |
136
click to vote
JLP
2006
15 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
170
click to vote
CVPR
2011
IEEE
15 years 19 days ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
120
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
125
click to vote
DNA
2009
Springer
15 years 11 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
142
click to vote
ICIP
2003
IEEE
15 years 9 months ago
2003
IEEE
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....