3052 search results - page 353 / 611 » A community-aware search engine |
209
click to vote
EOR
2008
15 years 7 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
210
click to vote
IJMSO
2007
15 years 7 months ago
2007
: Digital libraries are invaluable repositories of information. However, in many situations, their size makes it difficult to access the desired resource. In this paper, we present...
206
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
201
click to vote
ISCI
2007
15 years 7 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
189
click to vote
LRE
2007
15 years 7 months ago
2007
The AMI Meeting Corpus contains 100 hours of meetings captured using many synchronized recording devices, and is designed to support work in speech and video processing, language ...