14056 search results - page 2675 / 2812 » Consistency in Model Integration |
144
click to vote
ALT
2005
Springer
16 years 3 months ago
2005
Springer
We consider a variant of Gold’s learning paradigm where a learner receives as input n different languages (in form of one text where all input languages are interleaved). Our g...
162
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— We present in this paper a new interconnect-driven multilevel floorplanning, called IMF, to handle large-scale building-module designs. Unlike the traditional multilev...
183
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
187
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
The World-Wide Web consists not only of a huge number of unstructured texts, but also a vast amount of valuable structured data. Web tables [2] are a typical type of structured in...
169
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...