6607 search results - page 785 / 1322 » Making TeX Work |
215
Voted
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
231
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Some benefits of a dialogue between evolutionary robotics and developmental ethology are presented with discussion of how developmental models might inform approaches to evolution...
195
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
161
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Extract-Transform-Load (ETL) processes play an important role in data warehousing. Typically, design work on ETL has focused on performance as the sole metric to make sure that the...
199
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Classification is an important data mining problem. Given a training database of records, each tagged with a class label, the goal of classification is to build a concise model ...