3387 search results - page 549 / 678 » Automating the Metamodeling Process |
149
Voted
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
152
Voted
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
147
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
149
Voted
MM
2003
ACM
15 years 10 months ago
2003
ACM
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
161
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...