9443 search results - page 1557 / 1889 » Web-centric language models |
189
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
147
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
186
Voted
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
302
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
195
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...