Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Computing most probable worlds of action probabilistic logic programs: scalable estimation for 10^30,000 worlds. Annals of Mathematics and Artificial Intelligence. 51(2):295-331.
2007. COMPUTING PERFECT AND STABLE MODELS USING ORDERED MODEL TREES. Computational Intelligence. 11(1):89-112.
2007. Concept disambiguation for improved subject access using multiple knowledge sources. Proceedings of the Workshop on Language Technology for Cultural Heritage Data (LaTeCH 2007). :25-25.
2007. Concurrently-secure blind signatures without random oracles or setup assumptions. Theory of Cryptography. :323-341.
2007. Conducting In Situ Evaluations for and With Ubiquitous Computing Technologies. International Journal of Human-Computer Interaction. 22(1-2):103-118.
2007. Confidentiality-preserving rank-ordered search. Proceedings of the 2007 ACM workshop on Storage security and survivability. :7-12.
2007. Configuration Reasoning and Ontology For Web. IEEE International Conference on Services Computing, 2007. SCC 2007. :387-394.
2007. CONVEX: Context vectors as a paradigm for learning group behaviors based on similarity. IEEE Intelligent Systems. 23(4):51-57.
2007. COST: An Approach for Camera Selection and Multi-Object Inference Ordering in Dynamic Scenes. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2007. On the Cost of Persistence and Authentication in Skip Lists. Experimental Algorithms. :94-107.
2007. Covering array sampling of input event sequences for automated gui testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. :405-408.
2007. Creating a nationwide wireless detection sensor network for chemical, biological and radiological threats. Gentag White Paper.
2007. Creating a Robust Desktop Grid using Peer-to-Peer Services. Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International. :1-7.
2007. Cross-layer latency minimization in wireless networks with SINR constraints. Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing. :110-119.
2007. Crystal Structure and Solution NMR Studies of Lys48-linked Tetraubiquitin at Neutral pH. Journal of Molecular Biology. 367(1):204-211.
2007. Data Clustering with a Relational Push-Pull Model. Data Mining Workshops, 2007. ICDM Workshops 2007. Seventh IEEE International Conference on. :189-194.
2007. Dataflow-based mapping of computer vision algorithms onto FPGAs. EURASIP Journal on Embedded Systems. 2007(1):29-29.
2007. Deconstructing nuggets: the stability and reliability of complex question answering evaluation. Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval. :327-334.
2007. Deductive Databases. Wiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering.
2007. Defeating script injection attacks with browser-enforced embedded policies. Proceedings of the 16th international conference on World Wide Web. :601-610.