26496 search results - page 279 / 5300 » An Approach to Computing Ethics |
164
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The successful execution of any contact task fundamentally requires the application of wrenches (forces and moments) consistent with the task. We develop an algorithm for computin...
200
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
159
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
183
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Encryption schemes that support computation on encrypted data are useful in constructing efficient and intuitively simple cryptographic protocols. However, the approach was previo...
191
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval. We use Generalized Latent Semantic Ana...