1755 search results - page 214 / 351 » An efficient simulation algorithm based on abstract interpre... |
149
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
123
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
155
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
148
Voted
TON
2008
15 years 3 months ago
2008
Abstract-- Computing constrained shortest paths is fundamental to some important network functions such as QoS routing, which is to find the cheapest path that satisfies certain co...
148
Voted
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...