10910 search results - page 338 / 2182 » Input modeling using a computer algebra system |
173
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
198
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
240
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
180
click to vote
ROOM
2000
15 years 8 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...