1705 search results - page 281 / 341 » Representing Constraints with Automata |
120
Voted
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
106
click to vote
IPCO
2008
15 years 2 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...
109
Voted
IJCAI
2007
15 years 2 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
133
Voted
NIPS
2008
15 years 2 months ago
2008
Covariance estimation for high dimensional vectors is a classically difficult problem in statistical analysis and machine learning. In this paper, we propose a maximum likelihood ...
82
Voted
RSS
2007
15 years 2 months ago
2007
— A modeling method for representing belt object deformation is proposed. Deformation of belt objects such as film circuit boards or flexible circuit boards must be estimated f...