2502 search results - page 440 / 501 » Using probabilistic model checking in systems biology |
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
The probabilistic threshold query (PTQ) is one of the most common queries in uncertain databases, where all results satisfying the query with probabilities that meet the threshold...
185
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Elevation maps are a widely used spatial data representation in geographical information systems (GIS). Paths on elevation maps can be characterized by profiles, which describe re...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...
ICALP
1990
Springer
15 years 3 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
SIGMOD
2001
ACM
15 years 12 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...