1146 search results - page 109 / 230 » Formal Specification Generation from Requirement Documents |
180
click to vote
FPGA
2000
ACM
15 years 9 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
129
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
122
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
This article describes a new segmentation by thresholding approach based on learning. The method consists in learning to threshold correctly submitting both an image and its ideal...
128
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
:The eXtensible Markup Language – XML – is not only a language for communication between humans and the web, it is also a language for communication between programs. Rather th...
174
click to vote
FLAIRS
2008
15 years 7 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...