4211 search results - page 534 / 843 » Types as Abstract Interpretations |
232
click to vote
JPDC
2008
15 years 6 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
185
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
197
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
189
click to vote
TKDE
2008
15 years 6 months ago
2008
Given a large spatio-temporal database of events, where each event consists of the fields event ID, time, location, and event type, mining spatio-temporal sequential patterns ident...
179
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: SRS (Sequence Retrieval System) has proven to be a valuable platform for storing, linking, and querying biological databases. Due to the availability of a broad range ...