875 search results - page 49 / 175 » Specification Modules for Methodical System Development |
ISPAN
1997
IEEE
15 years 2 months ago
1997
IEEE
The thesis of this research is that the task of exposing the parallelism in a given application should be left to the algorithm designer, who has intimate knowledge of the applica...
94
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—In recent years, single antenna interference cancellation (SAIC) has evolved as an attractive method to increase the capacity of single carrier mobile radio networks lik...
109
click to vote
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
INLG
2010
Springer
14 years 7 months ago
2010
Springer
In many areas of NLP reuse of utility tools such as parsers and POS taggers is now common, but this is still rare in NLG. The subfield of surface realisation has perhaps come clos...
SRDS
1999
IEEE
15 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...