8874 search results - page 145 / 1775 » A New Implementation of Automath |
223
click to vote
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
133
click to vote
WISE
2008
Springer
15 years 10 months ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...
157
Voted
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
135
click to vote
SIAMSC
2010
15 years 2 months ago
2010
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
137
click to vote
MM
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...