1346 search results - page 155 / 270 » Alternating-time dynamic logic |
142
Voted
JAR
2008
15 years 5 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
157
click to vote
LISP
2008
15 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
150
Voted
ISCI
2007
15 years 5 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
184
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
This paper proposes a method of evolutionary robot vision based on a steady-state genetic algorithm and fuzzy evaluation. In order to improve the communication capability of human-...
185
click to vote
FPGA
2012
ACM
14 years 1 months ago
2012
ACM
In floating-point datapaths synthesized on FPGAs, the shifters that perform mantissa alignment and normalization consume a disproportionate number of LUTs. Shifters are implemente...