2357 search results - page 283 / 472 » interfaces 2007 |
150
Voted
DSS
2007
15 years 4 months ago
2007
This paper describes a service-based P2P overlay network architecture to support a collaborative environment for solving complex business processes over the network. In the propos...
142
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
125
Voted
ENTCS
2007
15 years 4 months ago
2007
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
165
Voted
MMS
2008
15 years 4 months ago
2008
Digital fingerprinting has been suggested for copyright protection. Using a watermarking scheme, a fingerprint identifying the buyer is embedded in every copy sold. If an illegal c...
115
Voted
EWC
2007
15 years 4 months ago
2007
Methods are documented for active and passive damping studies with capabilities within NX I-deas and NX Nastran (http://www.ugs.com/products/nx/). The focus is on the methods that ...