3630 search results - page 88 / 726 » How to Compare Treebanks |
159
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
150
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
This article compares traditional requirements engineering approaches and agile software development. Our paper analyzes commonalities and differences of both approaches and deter...
139
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
The mesh-of-trees topology has very attractive properties if a distance-sensitive routing, such as store-andforward, is used. How its properties compare to meshes if distance-inse...
150
click to vote
ISOTAS
1993
15 years 10 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
149
click to vote
COMPSYSTECH
2007
15 years 10 months ago
2007
Abstract: The paper analyzes features, roles and functions of shopbots, comparing them to nonvirtual intermediaries. The aim is to understand how they can support and optimize deci...