3381 search results - page 27 / 677 » Extending Dependencies with Conditions |
ICCSA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
114
click to vote
EMNLP
2009
14 years 7 months ago
2009
This paper presents an effective method for generating natural language sentences from their underlying meaning representations. The method is built on top of a hybrid tree repres...
PRDC
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we explore the minimal system requirements to implement unreliable failure detectors. We first consider systems formed by lossy asynchronous and eventually timely l...
CIT
2007
Springer
15 years 4 months ago
2007
Springer
In this paper a fast edge detection algorithm based on a simple logic has been implemented for road boundary detection in non-uniform light condition. Road images taken in the cam...