837 search results - page 23 / 168 » Hard combinators |
RTA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
88
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
104
click to vote
CONSTRAINTS
2010
14 years 10 months ago
2010
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
WEBDB
2005
Springer
15 years 3 months ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
79
Voted
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Broadband access for all will be a key functionality in future mobile radio networks. Depending on the length and the characteristic of the radio wave propagation the performan...