5863 search results - page 1103 / 1173 » On Model-Checking of P Systems |
260
Voted
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Query processing in traditional information management systems has moved from an exact match model to more flexible paradigms allowing cooperative retrieval by aggregating the dat...
135
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
123
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
We propose the study of visibly pushdown automata (Vpa) for processing XML documents. Vpas are pushdown automata where the input determines the stack operation, and XML documents ...
158
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
While the idea that querying mechanisms for complex relationships (otherwise known as Semantic Associations) should be integral to Semantic Web search technologies has recently ga...
148
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...