1146 search results - page 109 / 230 » Formal Specification Generation from Requirement Documents |
112
click to vote
FPGA
2000
ACM
15 years 1 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...
COMPSAC
2003
IEEE
15 years 3 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...
ICDAR
2003
IEEE
15 years 3 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...
COMPSAC
2002
IEEE
15 years 2 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...
FLAIRS
2008
15 years 6 days 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...