2282 search results - page 318 / 457 » Active property checking |
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
116
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: With the rapid emergence of RNA databases and newly identified non-coding RNAs, an efficient compression algorithm for RNA sequence and structural information is neede...
224
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
A burst is a large number of events occurring within a certain time window. As an unusual activity, it's a noteworthy phenomenon in many natural and social processes. Many da...
111
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
—Wireless Sensor Networks provide opportunities even outside their usual application domain of environmental monitoring. In this paper we present a case study on the use of Wirel...
139
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...