10916 search results - page 1863 / 2184 » On Constructive Connectives and Systems |
166
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
168
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Ownership types support information hiding by providing object-based encapsulation. However the static restrictions they impose on object accessibility can limit the expressiveness...
153
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
179
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Motion estimation is a key component of modern video encoding and is very compute-intensive. We present a novel Sensor-assisted Video Encoding (SaVE) method to reduce the computat...
192
click to vote
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
Computers have been widely deployed to our daily lives, but human-computer interaction still lacks intuition. Researchers intend to resolve these shortcomings by augmenting tradit...