2599 search results - page 401 / 520 » An Operational Semantics for Knowledge Bases |
167
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
210
click to vote
ISDA
2010
IEEE
15 years 4 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
193
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Recent studies on cellular network measurement have provided the evidence that significant geospatial correlations, in terms of traffic volume and application access, exist in...
179
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
170
click to vote
PPDP
2007
Springer
16 years 15 days ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...