677 search results - page 37 / 136 » Rigorous Object-Oriented Analysis |
DAI
1995
Springer
14 years 1 days ago
1995
Springer
Potentially one of the most significant opportunities for enterprise integration is the recent development and advancement of agent based systems. However, before agents can be us...
ACL
1996
13 years 9 months ago
1996
In this paper, we propose a textual clue approach to help metaphor detection, in order to improve the semantic processing of this figure. The previous works in the domain studied ...
ADHOCNOW
2006
Springer
14 years 2 months ago
2006
Springer
We consider an ad-hoc network consisting of devices that try to gain access for transmission through a shared communication channel. We redesign randomized protocol of Cai, Lu and ...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a new form of least squares (LS), called “hyperLS”, for geometric problems that frequently appear in computer vision applications. Doing rigorous error analysis, we...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...