1415 search results - page 65 / 283 » List making in the home |
168
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
171
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Current Web technologies use access control lists (ACLs) for enforcing regulations and practices governing businesses today. Having the policy hard-coded into ACLs causes manageme...
140
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
147
click to vote
IV
2000
IEEE
15 years 10 months ago
2000
IEEE
Annotating photos is such a time-consuming, tedious and error-prone data entry task that it discourages most owners of personal photo libraries. By allowing users to drag labels s...
145
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a novel concurrent fault simulator (called CONCERT) for nonlinear analog circuits. Three primary techniques in CONCERT, including fault ordering, state predict...