2754 search results - page 393 / 551 » Competitive recommendation systems |
135
Voted
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
142
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
153
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
128
click to vote
ICAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Recently, industry has begun investigating and moving towards utility computing, where computational resources (processing, memory and I/O) are availably on demand at a market cos...
138
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— By using self-assembling fabrication techniques at the cellular, molecular, or atomic scale, it is nowadays possible to create functional assemblies in a mainly bottom-up way t...