10916 search results - page 1870 / 2184 » On Constructive Connectives and Systems |
157
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
146
Voted
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
In light of the history of LDPC codes and relevant research advances in recent years, this paper probes into the encoding and decoding techniques related to this capacity-approach...
181
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
190
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a novel image-based geometric registration method using visually elegant and robust semi-fiducial markers in mixed reality (MR). Most traditional visual marke...
150
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...