| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Lifeng Lai, Siu-Wai Ho, H. Vincent Poor |
An Information Theoretic Framework for Biometric Security Systems.  |
ICB  |
2009 |
DBLP DOI BibTeX RDF |
Security, Privacy, Biometric, Entropy, Mutual Information |
| 2 | Dusit Niyato, Ekram Hossain |
A Noncooperative Game-Theoretic Framework for Radio Resource Management in 4G Heterogeneous Wireless Access Networks.  |
IEEE Trans. Mob. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
bandwidth allocation and admission control, Heterogeneous wireless networks, network utility, noncooperative game |
| 2 | Tao Cui, Lijun Chen, Steven H. Low |
A Game-Theoretic Framework for Medium Access Control.  |
IEEE Journal on Selected Areas in Communications  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | W. Sabrina Lin, H. Vicky Zhao, K. J. Ray Liu |
A game theoretic framework for incentive-based peer-to-peer live-streaming social networks.  |
ICASSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Wei Yu, Nan Zhang 0004, Xinwen Fu, Riccardo Bettati, Wei Zhao |
On localization attacks to Internet Threat Monitors: An information-theoretic framework.  |
DSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Pawan Lingras, Min Chen, Duoqian Miao |
Rough Multi-category Decision Theoretic Framework.  |
RSKT  |
2008 |
DBLP DOI BibTeX RDF |
Rough approximation, means cluster algorithm, Rough sets, Web usage mining |
| 2 | Fangwen Fu, Mihaela van der Schaar |
A new theoretic framework for cross-layer optimization.  |
ICIP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Avinash L. Varna, Ashwin Swaminathan, Min Wu 0001 |
A decision theoretic framework for analyzing binary hash-based content identification systems.  |
Digital Rights Management Workshop  |
2008 |
DBLP DOI BibTeX RDF |
content fingerprinting, content identification, decision theory |
| 2 | Yingda Chen, Koon Hoo Teo, Shalinee Kishore, Jinyun Zhang |
A Game-Theoretic Framework for Interference Management through Cognitive Sensing.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Yu Cao, Steve Read, Sachin Raka, Revanth Nandamuri |
A Theoretic Framework for Object Class Tracking.  |
ICNSC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Radha Poovendran, Loukas Lazos |
A graph theoretic framework for preventing the wormhole attack in wireless ad hoc networks.  |
Wireless Networks  |
2007 |
DBLP DOI BibTeX RDF |
Security, Wireless ad hoc networks, Wormhole attack, Geometric random graphs |
| 2 | Hillol Kargupta, Kamalika Das, Kun Liu |
Multi-party, Privacy-Preserving Distributed Data Mining Using a Game Theoretic Framework.  |
PKDD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Lin Chen, Jean Leneutre |
A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs.  |
ICNP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark E. Snyder, Ravi Sundaram, Mayur Thakur |
A Game-Theoretic Framework for Bandwidth Attacks and Statistical Defenses.  |
LCN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Heiko Mantel, Henning Sudbrock |
Comparing Countermeasures against Interrupt-Related Covert Channels in an Information-Theoretic Framework.  |
CSF  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Oktay Altun, Gaurav Sharma, Mehmet Utku Celik, Mark F. Bocko |
A Set Theoretic Framework for Watermarking and Its Application to Semifragile Tamper Detection.  |
IEEE Transactions on Information Forensics and Security  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Narender Hanchate, Nagarajan Ranganathan |
A game-theoretic framework for multimetric optimization of interconnect delay, power, and crosstalk noise during wire sizing.  |
ACM Trans. Design Autom. Electr. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
Game theory, transmission lines, crosstalk noise, interconnect models, wire sizing, interconnect delay |
| 2 | Yan Lindsay Sun, Wei Yu, Zhu Han, K. J. Ray Liu |
Information theoretic framework of trust modeling and evaluation for ad hoc networks.  |
IEEE Journal on Selected Areas in Communications  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Chi Wan Sung, Kenneth W. Shum, Kin Kwong Leung |
Stability of distributed power and signature sequence control for CDMA Systems-a game-theoretic framework.  |
IEEE Transactions on Information Theory  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Antonio D. Chiaravalloti, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri |
An Information-Theoretic Framework for Process Structure and Data Mining.  |
DaWaK  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiangchao Gan, Alan Wee-Chung Liew, Hong Yan |
Microarray Missing Data Imputation based on a Set Theoretic Framework and Biological Constraints.  |
ICPR  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhaohui Luo |
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.  |
ASIAN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Antonio D. Chiaravalloti, Gianluigi Greco, Antonella Guzzo, Luigi Pontieri |
An Information-Theoretic Framework for High-Order Co-clustering of Heterogeneous Objects.  |
ECML  |
2006 |
DBLP DOI BibTeX RDF |
Mutual Information, Co-clustering, Heterogeneous Data |
| 2 | Mei Si, Stacy Marsella, David V. Pynadath |
Thespian: Modeling Socially Normative Behavior in a Decision-Theoretic Framework.  |
IVA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Yi Peng, Gang Kou, Yong Shi, Zhengxin Chen |
A Systemic Framework for the Field of Data Mining and Knowledge Discovery.  |
ICDM Workshops  |
2006 |
DBLP DOI BibTeX RDF |
Data mining and knowledge discovery, Grounded theory, Theoretic framework |
| 2 | Hakan Altinçay |
A dempster-shafer theoretic framework for boosting based ensemble design.  |
Pattern Anal. Appl.  |
2005 |
DBLP DOI BibTeX RDF |
Evidential pattern classification, Dynamic classifier combination, Sample neighborhood information, Boosting, Classifier ensembles |
| 2 | Oktay Altun, Gaurav Sharma, Mehmet Utku Celik, Mark F. Bocko |
Semifragile hierarchical watermarking in a set theoretic framework.  |
ICIP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jaume Rigau, Miquel Feixas, Mateu Sbert |
An information theoretic framework for image segmentation.  |
ICIP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Bin Lu II, Udo W. Pooch |
A Game Theoretic Framework for Bandwidth Reservation in Mobile Ad Hoc Networks.  |
QSHINE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Lilla Zöllei, John W. Fisher III, William M. Wells III |
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration.  |
IPMI  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | B. G. Kim |
Theoretic Framework for Feedback Control Models in High-Speed Networks.  |
DEXA Workshops  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Henrik Nottelmann, Norbert Fuhr |
Evaluating different methods of estimating retrieval quality for resource selection.  |
SIGIR  |
2003 |
DBLP DOI BibTeX RDF |
decision-theoretic framework, evaluation, formal models, resource selection, normal distribution |
| 2 | Vladimir Marbukh |
Robust traffic engineering: game theoretic perspective.  |
SIGMETRICS Performance Evaluation Review  |
2002 |
DBLP DOI BibTeX RDF |
OSPF-OMP, equal cost multi-path, game theoretic framework, uncertain demand, stability, robustness, traffic engineering, MPLS |
| 2 | Stanislaw Ambroszkiewicz, Jan Komar |
A Model of BDI-Agent in Game-Theoretic Framework.  |
ModelAge Workshop  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Rajat K. Pal, A. K. Datta, Sudebkumar Prasant Pal, M. M. Das, Ajit Pal |
A general graph theoretic framework for multi-layer channel routing.  |
VLSI Design  |
1995 |
DBLP DOI BibTeX RDF |
graph theoretic framework, multilayer channel routing, track assignment, total wire length minimisation, two-layer VH routing model, three-layer HVH routing model, VLSI, graph theory, heuristics, network routing, circuit layout CAD, minimisation, VLSI layout, integrated circuit layout |
| 2 | Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang |
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.  |
ICCI  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Zare Moayedi, Mohammad Abdollahi Azgomi |
A game theoretic framework for evaluation of the impacts of hackers diversity on security measures.  |
Rel. Eng. & Sys. Safety  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Gu, Kyoko Yamori, Sugang Xu, Yoshiaki Tanaka |
A Game Theoretic Framework for Bandwidth Allocation and Pricing in Federated Wireless Networks.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Guopeng Zhang, Kun Yang, Qingsong Hu, Peng Liu, Enjie Ding |
Bargaining Game Theoretic Framework for Stimulating Cooperation in Wireless Cooperative Multicast Networks.  |
IEEE Communications Letters  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daoud Clarke |
A Context-Theoretic Framework for Compositionality in Distributional Semantics.  |
Computational Linguistics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elizabeth Black, Anthony Hunter |
A Relevance-theoretic Framework for Constructing and Deconstructing Enthymemes.  |
J. Log. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan Anh Trinh, László Gyarmati, Gyula Sallai |
Understanding the impact of loyal user behaviour on Internet access pricing: a game-theoretic framework.  |
Telecommunication Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Jen Tsai, Jung Liu, Chen-Sheng Wang |
A game-theoretic framework for the security system of visible watermarking.  |
Expert Syst. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kivanç Köse, A. Enis Çetin |
Low-Pass Filtering of Irregularly Sampled Signals Using a Set Theoretic Framework [Lecture Notes].  |
IEEE Signal Process. Mag.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Okaie, Tadashi Nakano |
A game theoretic framework for peer-to-peer market economy.  |
IJGUC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daoud Clarke |
A Context-theoretic Framework for Compositionality in Distributional Semantics  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hany Morcos, George Atia, Azer Bestavros, Ibrahim Matta |
An information-theoretic framework for field monitoring using autonomously mobile sensors.  |
Ad Hoc Networks  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Halkidi, Iordanis Koutsopoulos |
A Game Theoretic Framework for Data Privacy Preservation in Recommender Systems.  |
ECML/PKDD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping-Chen Huang, David Macii, Jan M. Rabaey |
An information-theoretic framework for joint architectural and circuit level optimization for olfactory recognition processing.  |
SiPS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Trattner |
NAVTAG - A Network-Theoretic Framework to Assess and Improve the Navigability of Tagging Systems.  |
ICWE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Faris Alqadah, Raj Bhatnagar |
A game theoretic framework for heterogenous information network clustering.  |
KDD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tijl De Bie |
An information theoretic framework for data mining.  |
KDD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Saleh, Mourad Debbabi |
A game-theoretic framework for specification and verification of cryptographic protocols.  |
Formal Asp. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shamik Sengupta, Mainak Chatterjee, Kevin A. Kwiat |
A Game Theoretic Framework for Power Control in Wireless Sensor Networks.  |
IEEE Trans. Computers  |
2010 |
DBLP DOI BibTeX RDF |
distributed power control, Wireless sensor network, energy efficiency, game theory |
| 1 | Vivian Tsang, Suzanne Stevenson |
A Graph-Theoretic Framework for Semantic Distance.  |
Computational Linguistics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0013, Zhenming Liu, Xiaorui Sun, Yajun Wang |
A game-theoretic framework to identify overlapping communities in social networks.  |
Data Min. Knowl. Discov.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | João Magalhães, Stefan M. Rüger |
An information-theoretic framework for semantic-multimedia retrieval.  |
ACM Trans. Inf. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao-Chun Liu, Dao-Qing Dai, Hong Yan |
The theoretic framework of local weighted approximation for microarray missing value estimation.  |
Pattern Recognition  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella |
Modeling self-deception within a decision-theoretic framework.  |
Autonomous Agents and Multi-Agent Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Chen, Heike Jänicke |
An Information-theoretic Framework for Visualization.  |
IEEE Trans. Vis. Comput. Graph.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lijie Xu, Teng-Yok Lee, Han-Wei Shen |
An Information-Theoretic Framework for Flow Visualization.  |
IEEE Trans. Vis. Comput. Graph.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Ming Chen, Dachrahn Wu, Cheng-Kuang Wu |
A Game Theoretic Framework for Multi-agent Deployment in Intrusion Detection Systems.  |
Security Informatics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Bilogrevic, Mohammad Hossein Manshaei, Maxim Raya, Jean-Pierre Hubaux |
Optimal revocations in ephemeral networks: A game-theoretic framework.  |
WiOpt  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro |
A Type-Theoretic Framework for Certified Model Transformations.  |
SBMF  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury |
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems.  |
RTCSA  |
2010 |
DBLP DOI BibTeX RDF |
colocation, Type-Theoretic, Real-Time |
| 1 | Giuseppe Pirrò, Jérôme Euzenat |
A Feature and Information Theoretic Framework for Semantic Similarity and Relatedness.  |
International Semantic Web Conference  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Li, Duoqian Miao, Weili Wang, Nan Zhang |
Hierarchical rough decision theoretic framework for text classification.  |
IEEE ICCI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Grossklags, Svetlana Radosavac, Alvaro A. Cárdenas, John Chuang |
Nudge: intermediaries' role in interdependent network security.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
internet service provider incentives, security economics |
| 1 | Santanu S. Dey, Jean-Philippe P. Richard, Yanjun Li, Lisa A. Miller |
On the extreme inequalities of infinite group problems.  |
Math. Program.  |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C11, 90C57 |
| 1 | Rekha Menon, Allen B. MacKenzie, James E. Hicks, R. Michael Buehrer, Jeffrey H. Reed |
A game-theoretic framework for interference avoidance.  |
IEEE Transactions on Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Lebanon, Monica Scannapieco, Mohamed R. Fouad, Elisa Bertino |
Beyond k-Anonymity: A Decision Theoretic Framework for Assessing Privacy Risk.  |
Transactions on Data Privacy  |
2009 |
DBLP BibTeX RDF |
|
| 1 | István Harmati, Krzysztof Skrzypczyk |
Robot team coordination for target tracking using fuzzy logic controller in game theoretic framework.  |
Robotics and Autonomous Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miquel Feixas, Mateu Sbert, Francisco González |
A unified information-theoretic framework for viewpoint selection and mesh saliency.  |
TAP  |
2009 |
DBLP DOI BibTeX RDF |
information theory, visual perception, Viewpoint selection, mesh saliency |
| 1 | Ebrahim Bagheri, Ali A. Ghorbani |
A belief-theoretic framework for the collaborative development and integration of para-consistent conceptual models.  |
Journal of Systems and Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Moscibroda, Stefan Schmid, Roger Wattenhofer |
The Price of Malice: A Game-Theoretic Framework for Malicious Behavior in Distributed Systems.  |
Internet Mathematics  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pradip De, Yonghe Liu, Sajal K. Das |
An Epidemic Theoretic Framework for Vulnerability Analysis of Broadcast Protocols in Wireless Sensor Networks.  |
IEEE Trans. Mob. Comput.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pejman Goudarzi, Mohammad Hesam Tadayon, Mahmoud Mousavinejad |
An Optimization Theoretic Framework for Video Transmission with Minimal Total Distortion over Wireless Networks.  |
EURASIP J. Wireless Comm. and Networking  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | William W. Melek, Alireza Sadeghian |
A theoretic framework for intelligent expert systems in medical encounter evaluation.  |
Expert Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Rubanov |
An information theoretic framework to compute the MAX/MIN operations in parameterized statistical timing analysis.  |
ISQED  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, Beibei Wang, K. J. Ray Liu |
A game-theoretic framework for multi-user multimedia rate allocation.  |
ICASSP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mei Si, Stacy C. Marsella, David V. Pynadath |
Directorial Control in a Decision-Theoretic Framework for Interactive Narrative.  |
ICIDS  |
2009 |
DBLP DOI BibTeX RDF |
Interactive Narrative, Drama Management |
| 1 | Hui-Tang Lin, Ying-You Lin, Wang-Rong Chang, Song-Ming Chen |
A Game-Theoretic Framework for Intra-ONU Scheduling in Integrated EPON/WiMAX Networks.  |
GLOBECOM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Denys Duchier, Jean-Philippe Prost, Thi-Bich-Hanh Dao |
A Model-Theoretic Framework for Grammaticality Judgements.  |
FG  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-kuang Lin, Øivind Kure |
A Game Theoretic Framework for Decentralized and Distributed Energy Utilization in Wireless Sensor Networks.  |
SNA  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella |
Self-deceptive decision making: normative and descriptive insights.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
self-deception, wishful thinking, multi-agent systems, decision theory |
| 1 | Nimit Pattanasri, Masayuki Mukunoki, Michihiko Minoh |
ComprehEnRank: estimating comprehension in classroom by absorbing random walks on a cognitive graph.  |
CIKM  |
2009 |
DBLP DOI BibTeX RDF |
absorbing markov chain, visualizing comprehension, cognitive modeling |
| 1 | Percy Liang, Michael I. Jordan, Dan Klein |
Learning from measurements in exponential families.  |
ICML  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Hee Song, Lili Qiu, Yin Zhang |
NetQuest: a flexible framework for large-scale network measurement.  |
IEEE/ACM Trans. Netw.  |
2009 |
DBLP DOI BibTeX RDF |
Bayesian experimental design, network measurement, network tomography, network inference |
| 1 | Suratna Budalakoti, David DeAngelis, K. Suzanne Barber |
Expertise Modeling and Recommendation in Online Question and Answer Forums.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Amigoni, Nicola Basilico, Nicola Gatti |
Finding the optimal strategies for robotic patrolling with adversaries in topologically-represented environments.  |
ICRA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schneider, Jürgen Sturm, Cyrill Stachniss, Marco Reisert, Hans Burkhardt, Wolfram Burgard |
Object identification with tactile sensors using bag-of-features.  |
IROS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepu Vijayasenan, Fabio Valente, Hervé Bourlard |
An Information Theoretic Approach to Speaker Diarization of Meeting Data.  |
IEEE Transactions on Audio, Speech & Language Processing  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudharman K. Jayaweera, Tianming Li |
Dynamic spectrum leasing in cognitive radio networks via primary-secondary user power control games.  |
IEEE Transactions on Wireless Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Shi, Jia Heng Wang, Khaled Ben Letaief, Ranjan K. Mallik |
A game-theoretic approach for distributed power control in interference relay channels.  |
IEEE Transactions on Wireless Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Vinod Yegneswaran, Chris Alfeld, Paul Barford |
An Attacker-Defender Game for Honeynets.  |
COCOON  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Cascudo Pueyo, Hao Chen, Ronald Cramer, Chaoping Xing |
Asymptotically Good Ideal Linear Secret Sharing with Strong Multiplication over Any Fixed Finite Field.  |
CRYPTO  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
An Automata-Theoretic Approach to Regular XPath.  |
DBPL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant |
On the Completeness of Dynamic Logic.  |
FOSSACS  |
2009 |
DBLP DOI BibTeX RDF |
inductive completeness, relative completeness, arithmetical completeness, Dynamic logic |
| 1 | Katsunori Oyama, Jeyoun Dong, Kai-Shin Lu, Hsinyi Jiang, Hua Ming, Carl K. Chang |
Situation-Theoretic Analysis of Human Intentions in a Smart Home Environment.  |
ICOST  |
2009 |
DBLP DOI BibTeX RDF |
context-awareness, requirements, evolution, service, smart home, goal, human intention, situation theory |
| 1 | Rosalie Iemhoff, George Metcalfe |
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.  |
LFCS  |
2009 |
DBLP DOI BibTeX RDF |
|