1811 search results - page 360 / 363 » Facilitation, Systems, and Users: The Complete Socio-Technic... |
TPHOL
1999
IEEE
14 years 4 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
ELPUB
1998
ACM
14 years 3 days ago
1998
ACM
The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...
MM
1997
ACM
14 years 1 days ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...
PLDI
1997
ACM
14 years 1 days ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
VISSYM
2007
13 years 10 months ago
2007
Visual data analysis has received a lot of research interest in recent years, and a wide variety of new visualization techniques and applications have been developed to improve in...