505 search results - page 69 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
106
click to vote
AIR
2005
14 years 11 months ago
2005
Term-weighting schemes are vital to the performance of Information Retrieval models that use term frequency characteristics to determine the relevance of a document. The vector spa...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
110
click to vote
DLT
2007
15 years 1 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
IQ
2007
15 years 1 months ago
2007
: This research has attempted to find the impact of information quality (IQ) and system quality (SQ) on users’ attitude to adopt the interactive TV based auction service. The pri...
111
click to vote
AAAI
2006
15 years 1 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...