892 search results - page 104 / 179 » Strategies in sentential reasoning |
88
Voted
LAWEB
2005
IEEE
15 years 6 months ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
123
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
89
Voted
DAGM
2005
Springer
15 years 6 months ago
2005
Springer
We consider the problem of deblurring images which have been blurred by different reasons during image acquisition. We propose a variational approach admitting spatially variant an...
72
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
124
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...