2695 search results - page 217 / 539 » A Visual Approach to Validating System Level Designs |
132
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
143
click to vote
SOFTVIS
2005
ACM
15 years 9 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
156
Voted
ENTER
2008
Springer
15 years 5 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
136
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...