2440 search results - page 413 / 488 » Explanation-Based Feature Construction |
147
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The success of Internet telephony services like Skype illustrates the feasibility of utilizing unstructured Peer-to-Peer (P2P) networks as an economical platform for supp...
173
Voted
SMALLTALK
2007
Springer
15 years 7 months ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
122
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we propose an approach for TV commercial video classification by the categories of advertised products or services (e.g. automobiles, healthcare products, etc). Sin...