9443 search results - page 1714 / 1889 » Web-centric language models |
171
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
176
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
153
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
149
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
157
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...