1262 search results - page 211 / 253 » Generating instruction sets and microarchitectures from appl... |
110
click to vote
4OR
2008
14 years 8 months ago
2008
The two-dimensional level strip packing problem (2LSPP) consists in packing rectangular items of given size into a strip of given width divided into levels. Items packed into the ...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Retweeting is an important action (behavior) on Twitter, indicating the behavior that users re-post microblogs of their friends. While much work has been conducted for mining text...
101
click to vote
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
132
click to vote
MICAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Automatic image annotation refers to the process of automatically labeling an image with a predefined set of keywords. Image annotation is an important step of content-ba...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...