1857 search results - page 205 / 372 » Minimum Degree Orderings |
179
click to vote
SBCCI
2004
ACM
15 years 12 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
172
click to vote
CLEF
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes an experimental investigation of interactive techniques for cross-language information access. The task was to answer factual questions from a large ...
200
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
: In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently and effectively. In XAR-Miner, raw XML data are first transformed to either...
169
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
The Internet network technology today does not allow a sufficient degree of autonomy to express user choices, constraints and preferences in order to dynamically obtain the most su...
174
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...