3731 search results - page 425 / 747 » Reduct Generation in Information Systems |
198
click to vote
VCIP
2003
15 years 8 months ago
2003
Traditional transcoding on multimedia has been performed from the perspectives of user terminal capabilities such as display sizes and decoding processing power, and network resou...
255
Voted
TJS
2002
15 years 7 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
208
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...
217
Voted
MC
2003
15 years 8 months ago
2003
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
180
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...