6618 search results - page 1158 / 1324 » Natural Logic for Natural Language |
168
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
175
click to vote
ICDAR
2005
IEEE
16 years 5 days ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
178
click to vote
ICNP
2005
IEEE
16 years 5 days ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
196
click to vote
IRI
2005
IEEE
16 years 5 days ago
2005
IEEE
Heterogeneous systems are systems that obey different functioning laws. For instance, during the design of embedded systems, it is generally necessary to study both the controller...
201
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...