4209 search results - page 255 / 842 » Abstract Dialectical Frameworks |
157
click to vote
SAMT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
151
click to vote
VTS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
150
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
143
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
202
click to vote
ZUM
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...