1658 search results - page 284 / 332 » Implementing Bit-addressing with Specialization |
MOBISYS
2009
ACM
14 years 10 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...
KDD
2002
ACM
14 years 10 months ago
2002
ACM
Combining multiple classifiers is of particular interest in multimedia applications. Each modality in multimedia data can be analyzed individually, and combining multiple pieces of...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Intel? Mash Maker is an interactive tool that tracks what the user is doing and tries to infer what information and visualizations they might find useful for their current task. M...