12774 search results - page 2223 / 2555 » A Framework for Proof Systems |
182
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
173
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
To build holistic protection against complex and blended network threats, multiple security features need to be integrated into a unified security architecture, which requires in ...
189
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
158
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...
188
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...