7289 search results - page 1053 / 1458 » A Dependent Set Theory |
204
click to vote
HVEI
2009
15 years 5 months ago
2009
The classical approach to converting colour to greyscale is to code the luminance signal as a grey value image. However, the problem with this approach is that the detail at equil...
237
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
216
click to vote
ACL
2010
15 years 4 months ago
2010
Weblogs are a source of human activity knowledge comprising valuable information such as facts, opinions and personal experiences. In this paper, we propose a method for mining pe...
241
click to vote
DSS
2002
15 years 7 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
236
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...