5015 search results - page 673 / 1003 » Model Checking a Path |
171
Voted
NIPS
2008
15 years 8 months ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
186
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: A number of studies on biological networks have been carried out to unravel the topological characteristics that can explain the functional importance of network nodes...
180
click to vote
VIS
2007
IEEE
2007
IEEE
Contextualized Videos: Combining Videos with Environment Models to Support Situational Understanding
16 years 8 months ago
Multiple spatially-related videos are increasingly used in security, communication, and other applications. Since it can be difficult to understand the spatial relationships betwee...
212
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We present a case study about the application of the inductive database approach to the analysis of Web logs. We consider rich XML Web logs ? called conceptual logs ? that are gen...
188
click to vote
CIKM
2005
Springer
16 years 8 days ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...