4480 search results - page 779 / 896 » Prototyping Completion with Constraints Using Computational ... |
188
click to vote
CIKM
2009
Springer
16 years 27 days ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...
157
click to vote
SAT
2009
Springer
16 years 26 days ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
152
click to vote
IEEEARES
2008
IEEE
16 years 22 days ago
2008
IEEE
IT Security is a problem that can only be addressed and taught holistically. Just as broad as the field of ICT itself, IT Security is an integral part of all network and software ...
152
click to vote
HAPTICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Dynamic properties of robotic manipulators, including inertia, damping, and friction, limit the transparency of a haptic-feedback teleoperator. In this paper, we develop a positio...
151
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...