4502 search results - page 556 / 901 » Regular Model Checking |
197
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
188
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we develop algorithms for robust linear regression by leveraging the connection between the problems of robust regression and sparse signal recovery. We explicitly ...
183
click to vote
ACTA
2010
15 years 6 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
137
click to vote
FGCS
2006
15 years 6 months ago
2006
This paper deals with the solvability of contact problems with a local visco-plastic friction in the thermo-visco-plastic Bingham rheology. The generalized case of bodies of arbit...
162
click to vote
JGAA
2008
15 years 6 months ago
2008
Let G be a bipartite graph, and let e, i be two parallel convex curves; we study the question about whether G admits a planar straight-line drawing such that the vertices of one p...