1664 search results - page 110 / 333 » Towards Partial Reasoning |
192
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
125
Voted
SEMCO
2009
IEEE
15 years 7 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
122
Voted
WIAMIS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...
88
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
103
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...