8874 search results - page 205 / 1775 » A New Implementation of Automath |
158
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—A major challenge faced by today’s information systems is that of evolution as data usage evolves or new data resources become available. Modern organizations sometimes exchan...
202
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
134
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
In a later stage of a VLSI design, it is quite often to modify a design implementation to accommodate the new specification, design errors, or to meet design constraints. In addit...
111
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
This paper shows the experiences of a law firm with adopting Wiki Webs for knowledge management and collaboration over the last two years. Wikis created a business advantage for t...
124
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper proposes a real-time implementation of collision and self-collision avoidance for robots. On the basis of a new proximity distance computation method which ensures h...