6574 search results - page 963 / 1315 » Current Signatures: Application |
153
click to vote
MDAFA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
200
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
174
Voted
PATAT
2004
Springer
16 years 3 days ago
2004
Springer
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
178
click to vote
PCM
2004
Springer
16 years 3 days ago
2004
Springer
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...
199
Voted
PERVASIVE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...