332 search results - page 30 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
100
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Graph drawing and visualization represent structural information ams of abstract graphs and networks. An important subset of graphs is directed acyclic graphs (DAGs). E-Spring alg...
128
click to vote
IANDC
2011
14 years 8 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
215
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—It is well-known that the application of directional antennas can help conserve bandwidth and energy consumption in wireless networks. Thus, to achieve efficiency in wireless n...
105
click to vote
STOC
1997
ACM
15 years 5 months ago
1997
ACM
We consider exploration problems where a robot has to construct a complete map of an unknown environment. We assume that the environment is modeled by a directed, strongly connecte...
ICONIP
2007
15 years 2 months ago
2007
In this paper we eliminate the need for parameter estimation associated with the set covering machine (SCM) by directly minimizing generalization error bounds. Firstly, we consider...