620 search results - page 87 / 124 » Tool support for component-based semantics |
249
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...
154
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Low-dimensional topic models have been proven very useful for modeling a large corpus of documents that share a relatively small number of topics. Dimensionality reduction tools s...
118
Voted
UIST
2005
ACM
15 years 9 months ago
2005
ACM
Informal prototyping tools have shown great potential in facilitating the early stage design of user interfaces. However, continuous interactions, an important constituent of high...
147
Voted
ICCD
2000
IEEE
15 years 7 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
151
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...