5550 search results - page 239 / 1110 » Different Approaches to Proof Systems |
200
click to vote
WOA
2003
15 years 8 months ago
2003
— Mobile Agents model is widely accepted as a good solution to simplify the coordination in a complex and distributed environment. Pervasive computing, presents many issues regar...
175
click to vote
JIKM
2006
15 years 6 months ago
2006
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...
155
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
167
click to vote
COLING
2010
15 years 1 months ago
2010
The treatment of factual data has been widely studied in different areas of Natural Language Processing (NLP). However, processing subjective information still poses important cha...
151
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
A new adaptive UEP_BTC_STBC scheme is proposed to guarantee the robust video transmission according to the channel conditions. This scheme enhanced STBC (space- time block coding)...