3005 search results - page 576 / 601 » Logical Information Systems: from Taxonomies to Logics |
133
click to vote
KBSE
2010
IEEE
15 years 5 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
119
click to vote
ICMI
2004
Springer
15 years 7 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
107
click to vote
DFG
2007
Springer
15 years 8 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
120
Voted
ADBIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
108
click to vote
FCCM
2002
IEEE
15 years 6 months ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...