827 search results - page 50 / 166 » Patterns for Timed Property Specifications |
141
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The social Web is transforming the way information is created and distributed. Authoring tools, e.g., blog publishing services, enable users to quickly and easily publish content,...
121
click to vote
SDM
2008
SIAM
15 years 3 months ago
2008
SIAM
Multiple view data, which have multiple representations from different feature spaces or graph spaces, arise in various data mining applications such as information retrieval, bio...
245
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. It has been widely used in many fields of information proces...
118
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Dynamic replication algorithms aim at allocating, migrating and deleting copies of an object over various Internet hosts, according to the access patterns exhibited online, so as ...
123
click to vote
ISSTA
1996
ACM
15 years 6 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...