7366 search results - page 1308 / 1474 » Development of the Information Systems Implementation Resear... |
145
Voted
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
We propose a new approach to a music search engine that can be accessed via natural language queries. As with existing approaches, we try to gather as much contextual information a...
189
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...
152
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Information theoretic security, also called secrecy analysis, provides theoretical limit for secret data transmission even in wireless networking environment, and it is more focus...
150
click to vote
JAR
1998
15 years 4 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
198
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...