5622 search results - page 278 / 1125 » Solving architectural modelling problems using knowledge |
195
Voted
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
188
click to vote
MTV
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
199
Voted
DMIN
2010
15 years 4 months ago
2010
Recently Vapnik et al. [11, 12, 13] introduced a new learning model, called Learning Using Privileged Information (LUPI). In this model, along with standard training data, the tea...
162
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
154
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents Pirrus, a replica management system that addresses the problem of providing data availability on a wireless sensor network. Pirrus uses probabilistic failur...