Works matching DE "COMPUTER science research"
Results: 457
Efficient HEX-Program Evaluation Based on Unfounded Sets.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 269, doi. 10.1613/jair.4175
- By:
- Publication type:
- Article
A Procedural Characterization of Solution Concepts in Games.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 143, doi. 10.1613/jair.4220
- By:
- Publication type:
- Article
Multiagent Only Knowing in Dynamic Systems.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 363, doi. 10.1613/jair.4192
- By:
- Publication type:
- Article
Selfishness Level of Strategic Games.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 207, doi. 10.1613/jair.4164
- By:
- Publication type:
- Article
An Empirical Evaluation of Ranking Measures With Respect to Robustness to Noise.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 241, doi. 10.1613/jair.4136
- By:
- Publication type:
- Article
Multimodal Distributional Semantics.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 1, doi. 10.1613/jair.4135
- By:
- Publication type:
- Article
Robustness and Stability in Constraint Programming under Dynamism and Uncertainty.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 49, doi. 10.1613/jair.4126
- By:
- Publication type:
- Article
Representing and Reasoning About the Rules of General Games With Imperfect Information.
- Published in:
- Journal of Artificial Intelligence Research, 2014, v. 49, p. 171, doi. 10.1613/jair.4115
- By:
- Publication type:
- Article
Complexity of Judgment Aggregation.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 45, p. 481, doi. 10.1613/jair.3708
- By:
- Publication type:
- Article
The Tractability of CSP Classes Defined by Forbidden Patterns.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 45, p. 47, doi. 10.1613/jair.3651
- By:
- Publication type:
- Article
Identifying duplicate functionality in textual use cases by aligning semantic actions.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 579, doi. 10.1007/s10270-014-0431-3
- By:
- Publication type:
- Article
Transition systems for designing and reasoning about norms.
- Published in:
- Artificial Intelligence & Law, 2015, v. 23, n. 4, p. 345, doi. 10.1007/s10506-015-9175-9
- By:
- Publication type:
- Article
Behavior-based detection of application layer distributed denial of service attacks during ash events.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2016, v. 24, n. 2, p. 510, doi. 10.3906/elk-1308-188
- By:
- Publication type:
- Article
Interview: Dr. Michele Mosca: Quantum Computing Today and To Come.
- Published in:
- 2018
- By:
- Publication type:
- Interview
A Taxonomy and Mapping of Computer-Based Critiquing Tools.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 11, p. 1494, doi. 10.1109/TSE.2013.32
- By:
- Publication type:
- Article
Global Locator, Local Locator, and Identifier Split (GLI-Split).
- Published in:
- Future Internet, 2013, v. 5, n. 1, p. 67, doi. 10.3390/fi5010067
- By:
- Publication type:
- Article
Modeling Security Risk Factors in a Cloud Computing Environment.
- Published in:
- Folklore Forum, 2013, p. 279
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- INFORMS Journal on Computing, 2015, v. 27, n. 1, p. 189, doi. 10.1287/ijoc.2014.0631
- By:
- Publication type:
- Article
EEVEE: the Empathy-Enhancing Virtual Evolving Environment.
- Published in:
- Frontiers in Human Neuroscience, 2015, v. 9, p. 1, doi. 10.3389/fnhum.2015.00112
- By:
- Publication type:
- Article
Implicit Theories of Creativity in Computer Science in the United States and China.
- Published in:
- Journal of Creative Behavior, 2015, v. 49, n. 2, p. 137, doi. 10.1002/jocb.61
- By:
- Publication type:
- Article
EELA: una infraestructura para e-ciencia en Latinoamérica.
- Published in:
- Revista de Ingeniería, 2009, n. 29, p. 26, doi. 10.16924/revinge.29.3
- By:
- Publication type:
- Article
Aproximación a una ontología para lenguajes de modelado gráfico.
- Published in:
- Revista de Ingeniería, 2009, n. 29, p. 16, doi. 10.16924/revinge.29.2
- By:
- Publication type:
- Article
Information Technology Acceptance in the Social Services Sector Context: An Exploration.
- Published in:
- Social Work, 2007, v. 52, n. 3, p. 221, doi. 10.1093/sw/52.3.221
- By:
- Publication type:
- Article
Global Information Technology Research: Past, Present And Future.
- Published in:
- Journal of Global Information Technology Management, 1998, v. 1, n. 2, p. 3, doi. 10.1080/1097198X.1998.10856227
- By:
- Publication type:
- Article
Editorial.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
A Risk and Similarity Aware Application Recommender System.
- Published in:
- Journal of Computing & Information Technology, 2015, v. 23, n. 4, p. 303, doi. 10.2498/cit.1002537
- By:
- Publication type:
- Article
Guest Editorial.
- Published in:
- Journal of Computing & Information Technology, 2014, v. 22, n. LISS 2013,, p. i
- By:
- Publication type:
- Article
Computation: The edge of reductionism.
- Published in:
- Nature, 2009, v. 459, n. 7245, p. 332, doi. 10.1038/459332a
- By:
- Publication type:
- Article
Investigating the Value of Sociomaterialism in Conceptualizing IT Capability of a Firm.
- Published in:
- Journal of Management Information Systems, 2012, v. 29, n. 3, p. 327, doi. 10.2753/MIS0742-1222290310
- By:
- Publication type:
- Article
How Endogenous Motivations Influence User Intentions: Beyond the Dichotomy of Extrinsic and Intrinsic User Motivations.
- Published in:
- Journal of Management Information Systems, 2008, v. 25, n. 1, p. 267, doi. 10.2753/MIS0742-1222250110
- By:
- Publication type:
- Article
BME VIK Annual Research Report on Electrical Engineering and Computer Science 2015.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2016, v. 60, n. 1, p. 1, doi. 10.3311/PPee.9124
- By:
- Publication type:
- Article
MNav: A Markov Model-Based Web Site Navigability Measure.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 869, doi. 10.1109/TSE.2007.70743
- By:
- Publication type:
- Article
Improving the Usability of e-Commerce Applications Using Business Processes.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 837, doi. 10.1109/TSE.2007.70709
- By:
- Publication type:
- Article
API-Evolution Support with Diff-CatchUp.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 818, doi. 10.1109/TSE.2007.70747
- By:
- Publication type:
- Article
An Extensible Metamodel for Program Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 12, p. 799, doi. 10.1109/TSE.2007.70759
- By:
- Publication type:
- Article
Software Component Models.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 10, p. 709, doi. 10.1109/TSE.2007.70726
- By:
- Publication type:
- Article
Systematic Testing of Model-Based Code Generators.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 9, p. 622, doi. 10.1109/TSE.2007.70708
- By:
- Publication type:
- Article
Finding Clones with Dup: Analysis of an Experiment.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 9, p. 608, doi. 10.1109/TSE.2007.70720
- By:
- Publication type:
- Article
An Extensible Metamodel for Program Analysis.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 9, p. 592, doi. 10.1109/TSE.2007.70710
- By:
- Publication type:
- Article
Triggered Message Sequence Charts.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 587, doi. 10.1109/TSE.2006.82
- By:
- Publication type:
- Article
Saturation for a General Class of Models.
- Published in:
- IEEE Transactions on Software Engineering, 2006, v. 32, n. 8, p. 559, doi. 10.1109/TSE.2006.81
- By:
- Publication type:
- Article
AIEDAM Special Issue, May 2015, Vol. 29, No. 2.
- Published in:
- AI EDAM, 2013, v. 27, n. 4, p. 425, doi. 10.1017/S0890060413000437
- By:
- Publication type:
- Article
AI EDAM Special Issue, November 2014, Vol. 28, No. 4.
- Published in:
- AI EDAM, 2013, v. 27, n. 4, p. 423, doi. 10.1017/S0890060413000425
- By:
- Publication type:
- Article
The routine design?modular distributed modeling platform for distributed routine design and simulation-based testing of distributed assemblies.
- Published in:
- AI EDAM, 2008, v. 22, n. 1, p. 1, doi. 10.1017/S0890060408000012
- Publication type:
- Article
Introduction: Special section on platform studies.
- Published in:
- Digital Culture & Education, 2016, v. 8, n. 3b, p. 170
- By:
- Publication type:
- Article
EDITORIAL.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
An Alternative Approach in Generation and Possession of Backup Codes in Multi-Factor Authentication Scheme.
- Published in:
- BVICAM's International Journal of Information Technology, 2015, v. 7, n. 2, p. 883
- By:
- Publication type:
- Article
Switching from computer to microcomputer architecture education.
- Published in:
- European Journal of Engineering Education, 2010, v. 35, n. 1, p. 91, doi. 10.1080/03043790903312162
- By:
- Publication type:
- Article
Editorial.
- Published in:
- GSTF Journal on Computing, 2012, v. 2, n. 2, p. 1
- By:
- Publication type:
- Article
On Codd Families of Keys over Incomplete Relations.
- Published in:
- Computer Journal, 2011, v. 54, n. 7, p. 1166, doi. 10.1093/comjnl/bxq073
- By:
- Publication type:
- Article