2139 search results - page 182 / 428 » Connecting language to the world |
163
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
174
click to vote
OMER
2001
15 years 8 months ago
2001
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
162
click to vote
ANLP
1994
15 years 7 months ago
1994
We report on the results of a series of experiments with a prototype text retrieval system which uses relatively advanced natural language processing techniques in order to enhanc...
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
173
click to vote
ACTA
2002
15 years 6 months ago
2002
In the constraint database community, FO+poly and FO+linear have been proposed as foundations for spatial database query languages. One of the strengths of this approach is that t...