8874 search results - page 388 / 1775 » A New Implementation of Automath |
180
click to vote
ICSR
2009
Springer
16 years 1 months ago
2009
Springer
In the lifecycle of a software product line (SPL), incremental generalization is usually required to extend the variability of existing core assets to support the new or changed ap...
184
Voted
APSCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper examines the problem of predicting job runtimes by exploiting the properties of parameter sweeps. A new parameter sweep prediction framework GIPSy (Grid Information P...
180
Voted
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
148
Voted
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper revisits the problem of source-channel coding for error-resilient video streaming. We propose a new method to enable adaptive redundancy in the bitstream: fine-grain r...
176
Voted
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Acquisition and representation of semantic concepts is a necessary requirement for the understanding of natural languages by cognitive systems. Word games provide an int...