2944 search results - page 358 / 589 » On Well Quasi-orders on Languages |
162
click to vote
ECML
2007
Springer
16 years 24 days ago
2007
Springer
Many applications in information retrieval, natural language processing, data mining, and related fields require a ranking of instances with respect to a specified criteria as op...
169
click to vote
EDUTAINMENT
2007
Springer
16 years 23 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
178
click to vote
ICIAP
2007
ACM
16 years 23 days ago
2007
ACM
We present methods for eliminating or reducing the distortion in a scanned image. Aspects of the present paper allow for the automatic pruning, de-skewing, and unwarping of an ima...
186
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
147
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...