Sciweavers

1726 search results - page 138 / 346
» Traits: Tools and Methodology
Sort
View
CHI
1999
ACM
15 years 3 months ago
MOBILE: User-Centered Interface Building
Interface builders are popular tools for designing and developing graphical user interfaces. These tools, however, are engineering-centered; they operate mainly on windows and wid...
Angel R. Puerta, Eric Cheng, Tunhow Ou, Justin Min
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 3 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
LREC
2010
159views Education» more  LREC 2010»
15 years 13 days ago
Computer Assisted Semantic Annotation in the DutchSemCor Project
The goal of this paper is to describe the annotation protocols and the Semantic Annotation Tool (SAT) used in the DutchSemCor project. The DutchSemCor project is aiming at alignin...
Attila Görög, Piek Vossen
80
Voted
WEBNET
2000
15 years 10 days ago
Experiences from the Development and Use of Simulation Software for Complex Systems Education
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
Elpida Tzafestas
BMCBI
2010
110views more  BMCBI 2010»
14 years 11 months ago
Concept-based query expansion for retrieving gene related publications from MEDLINE
Background: Advances in biotechnology and in high-throughput methods for gene analysis have contributed to an exponential increase in the number of scientific publications in thes...
Sérgio Matos, Joel Arrais, João Maia...