3358 search results - page 438 / 672 » Parametric Aspects: A Proposal |
189
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
225
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Cooperative Communication (CC) is a technology that allows multiple nodes to simultaneously transmit the same data. It can save power and extend transmission coverage. However, pri...
215
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
168
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
An image mosaics algorithm based on improved phase correlation is proposed in this paper. The improved phase correlation improves on the conventional phase correlation in three asp...
167
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Two conflicting goals are often involved in the design of fuzzy rule-based systems: Accuracy maximization and interpretability maximization. A number of approaches have been propos...