Search For:

Displaying 1-50 out of 8,298 total
On Optimization of the V-BLAST Algorithm
Found in: International Zurich Seminar on Communications
By V. Kostina, S. Loyka
Issue Date:February 2006
pp. 110-113
No summary available.
 
Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program
Found in: Software Engineering, International Conference on
By Marvin V. Zelkowitz, Ioana Rus
Issue Date:May 2001
pp. 0349
Abstract: The National Aeronautics and Space Administration is an internationally recognized leader in space science and exploration. NASA recognizes the inherent risk associated with space exploration; however, NASA makes every reasonable effort to minimi...
 
“Cool low power” 1GHz multi-port register file and dynamic latch in 1.8 V, 0.25 μm SOI and bulk technology (poster session)
Found in: Proceedings of the 2000 international symposium on Low power electronics and design (ISLPED '00)
By C. T. Chuang, R. V. Joshi, S. C. Wilson, W. Hwang
Issue Date:July 2000
pp. 203-206
This paper describes power analysis at sub-zero temperatures for a high performance dynamic multiport register file (6 Read and 2 Write ports, 32 wordlines x 64 bitlines) fabricated in 0.25 μm Silicon on Insulator (SOI) and bulk technologies. Based on...
     
A 2.5 V 10 bit SAR ADC
Found in: VLSI Design, International Conference on
By S. Mukherjee, C. Srinivasan, V. Pawar, S. Mathur, K. Godbole, E. Soenen
Issue Date:January 1997
pp. 525
Presented here is a 10 bit SAR ADC working over a wide supply range of 5.5 V to 2.5 V. The circuit is built in a CMOS process with Metal-Poly capacitors. Issues related to low voltage sampling circuitry design and low voltage high speed comparator design a...
   
An O(v|v| c |E|) algoithm for finding maximum matching in general graphs
Found in: Foundations of Computer Science, Annual IEEE Symposium on
By Silvio Micali, Vijay V. Vazirani
Issue Date:October 1980
pp. 17-27
In this paper we present an 0(√|V|ċ|E|) algorithm for finding a maximum matching in general graphs. This algorithm works in 'phases'. In each phase a maximal set of disjoint minimum length augmenting paths is found, and the existing matching is increased a...
 
Shortest-path feasibility algorithms: An experimental evaluation
Found in: Journal of Experimental Algorithmics (JEA)
By Andrew V. Goldberg, Boris V. Cherkassky, Loukas Georgiadis, Renato F. Werneck, Robert E. Tarjan, Andrew V. Goldberg, Boris V. Cherkassky, Loukas Georgiadis, Renato F. Werneck, Robert E. Tarjan, Andrew V. Goldberg, Boris V. Cherkassky, Loukas Georgiadis, Renato F. Werneck, Robert E. Tarjan, Andrew V. Goldberg, Boris V. Cherkassky, Loukas Georgiadis, Renato F. Werneck, Robert E. Tarjan, Andrew V. Goldberg, Boris V. Cherkassky, Loukas Georgiadis, Renato F. Werneck, Robert E. Tarjan
Issue Date:August 2009
pp. 1-22
This is an experimental study of algorithms for the shortest-path feasibility problem: Given a directed weighted graph, find a negative cycle or present a short proof that none exists. We study previously known and new algorithms. Our testbed is more exten...
     
Business decision making, management and information technology
Found in: Ubiquity
By A. L. Suseela, B. Pradeep Kumar, B. Pradeep Kumar, B. Pradeep Kumar, John Selvam, John Selvam, John Selvam, K. Kanthi, K. Kanthi, K. Kanthi, V. Lalith Kumar, V. Lalith Kumar, V. Lalith Kumar, V. S. Meenakshi, V. S. Meenakshi, V. S. Meenakshi
Issue Date:February 2007
pp. 1-1
"Information technology is no longer a business resource; it is the business environment." His statement is not far from truth. Ongoing advances in information technology (IT), along with increasing global competition, are adding complexity and uncertainty...
     
The development of vacuum microwave devices in Istok
Found in: IEEE International Vacuum Electronics Conference
By A. A. Borisov, U. A. Budzinsky, S. V. Bykovsky, A. V. Galdetskiy, A. N. Korolev, M. I. Lopin, A. A. Negirev, V. I. Pugnin, G. V. Ruvinsky, B. V. Sazonov
Issue Date:February 2011
pp. 437-438
Activity of Istok in the development and manufacturing of vacuum microwave devices is briefly described.
 
An Interview with Peter Denning on the great principles of computing
Found in: Ubiquity
By A. Ubiquity staff, Fabio Ubiquity staff, K. V. K. K. Ubiquity staff, Samir Kumar Ubiquity staff, A. Ubiquity staff, A. Ubiquity staff, A. Ubiquity staff, A. Ubiquity staff, Fabio Ubiquity staff, Fabio Ubiquity staff, Fabio Ubiquity staff, Fabio Ubiquity staff, K. V. K. K. Ubiquity staff, K. V. K. K. Ubiquity staff, K. V. K. K. Ubiquity staff, K. V. K. K. Ubiquity staff, Samir Kumar Ubiquity staff, Samir Kumar Ubiquity staff, Samir Kumar Ubiquity staff, Samir Kumar Ubiquity staff
Issue Date:June 2007
pp. 1-1
A number of researchers have proposed using digital marks to provide ownership (watermarking) identification for the property. One way of data hiding is digital signature, copyright label or digital watermark that completely characterizes the person who ap...
     
Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods
Found in: IEEE East-West Design & Test Symposium (EWDTS 2010)
By A Andrashov,V Kharchenko,V Sklyar,L Reva,V Dovgopolyi,V Golovir
Issue Date:September 2010
pp. 92-97
Principles of verification for FPGA electronic design algorithms used in nuclear reactor trip systems are proposed. A classification of the algorithms that is based on complexity criterion is given. Various methods and techniques for testing of the algorit...
 
Implementation of a new paradigm in design of IIR digital filters
Found in: IEEE East-West Design & Test Symposium (EWDTS 2010)
By V A Lesnikov,T V Naumovich,A V Chastikov,S V Armishev
Issue Date:September 2010
pp. 156-159
Authors of this paper have presented a new paradigm of design of IIR digital filters in EWDTS'2009 symposium. It is based on the application of the number-theoretical and algebraic aspects in the design at functional and structural levels. This approach is...
 
Microprocessor relay for protection of electrical systems
Found in: Ubiquity
By S. T. I. C. Garividi, V. Lalith Kumar, V. Lalith Kumar, V. Lalith Kumar, V. Lalith Kumar
Issue Date:May 2006
pp. 2-8
The mobile phone has caused us to plan less and communicate more. The Internet causes us to categorize less and search more - and media's increasing Internet nervousness is driven not just by fear of diminishing revenues but from the fear of a loss of impo...
     
Taking Information Technology to the Heart of India
Found in: Ubiquity
By A. L. Suseela, Akashdeep Aharma, Akashdeep Aharma, Akashdeep Aharma, Akashdeep Aharma, V. Lalith Kumar, V. Lalith Kumar, V. Lalith Kumar, V. Lalith Kumar
Issue Date:March 2005
pp. 2-2
'Today we truly live in a global village, but it is a village with elite information 'haves' and many information 'have-nots.' With the new technologies available to us we have an opportunity to change this.' The following article is a student paper.
     
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
Found in: Computer Software and Applications Conference, Annual International
By V. S. Kharchenko, O. M. Tarasyuk, V. V. Sklyar, V. Yu. Dubnitsky
Issue Date:August 2002
pp. 541
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered.This method is illustrated on the software reliability growth models (SRGM).The classification of SRG...
 
Fingerprint Identification Using the directions Field
Found in: Pattern Recognition, International Conference on
By V. A. Soifer, V. V. Kotlyar, S. N. Khonina, R. V. Skidanov
Issue Date:August 1996
pp. 586
No summary available.
 
Digital Photogrammetric Station
Found in: Pattern Recognition, International Conference on
By G. L. Gimel'farb, V. I. Malov, V. B. Gayda, m. V. Grigorenko, B. O. Mikhalevich, S. V. Oleynik
Issue Date:August 1996
pp. 979
No summary available.
 
A Framework for Binding and Retrieving Class-Specific Information to and from Image Patterns Using Correlation Filters
Found in: IEEE Transactions on Pattern Analysis and Machine Intelligence
By V. N. Boddeti,B. V. K. V. Kumar
Issue Date:September 2013
pp. 2064-2077
We describe a template-based framework to bind class-specific information to a set of image patterns and retrieve that information by matching the template to a query pattern of the same class. This is done by mapping the class-specific information to a se...
 
A generation of canonical forms for design of IIR digital filters
Found in: East-West Design & Test Symposium
By Vladislav A. Lesnikov,Tatiana V. Naumovich,Alexander V. Chastikov,Sergey V. Armishev
Issue Date:September 2011
pp. 221-224
Implementation of canonical structures of IIR digital filters demands execution of the minimum number of operations. Thus these filters can realize any transfer function. Therefore they represent considerable interest at implementation by using FPGA and AS...
 
A new paradigm in design of IIR digital filters
Found in: IEEE East-West Design & Test Symposium (EWDTS 2010)
By Vladislav A Lesnikov,Tatiana V Naumovich,Alexander V Chastikov,Sergey V Armishev
Issue Date:September 2010
pp. 282-285
A new method of the recursive digital filters design is presented. It is based on the application of the number-theoretical and algebraic aspects in the design at functional and structural levels. This paradigm is focused on implementation of digital filte...
 
Quality of monitoring of stochastic events by periodic and proportional-share scheduling of sensor coverage
Found in: ACM Transactions on Sensor Networks (TOSN)
By Chris Y. T. Ma, David K. Y. Yau, David K. Y. Yau, David K. Y. Yau, Mallikarjun Shankar, Mallikarjun Shankar, Mallikarjun Shankar, Nageswara S. V. Rao, Nageswara S. V. Rao, Nageswara S. V. Rao, Nung Kwan Yip, Nung Kwan Yip, Nung Kwan Yip
Issue Date:August 2010
pp. 1-49
We analyze the quality of monitoring (QoM) of stochastic events by a periodic sensor which monitors a point of interest (PoI) for q time every p time. We show how the amount of information captured at a PoI is affected by the proportion q/p, the time inter...
     
A Hardware-in-the-Loop Simulation Environment for Real-Time Systems Development and Architecture Evaluation
Found in: Dependability of Computer Systems, International Conference on
By Vasily V. Balashov, Anatoly G. Bakhmurov, Maxim V. Chistolinov, Ruslan L. Smeliansky, Dmitry Yu. Volkanov, Nikita V. Youshchenko
Issue Date:June 2008
pp. 80-86
In this paper we present a technology for integration of distributed real-time embedded systems (RTES) based on hardware-in-the loop simulation. The environment to support this technology is described. This environment also enables simulation-based evaluat...
 
Investigations of the thrombogenic and cavitational potentials of a bileaflet mechanical heart valve, using ANSYS-CFX
Found in: International Conference on Automation, Quality and Testing, Robotics
By A. E. Turcu, D. V. Rafiroiu, V. Diaz-Zuccarini, A. J. Narracott, D. R. Hose, P. V. Lawford
Issue Date:May 2008
pp. 106-111
Detailed flow dynamic analysis in the vicinity of the leaflets and the housing during the valve-closure phase (including the rebound) is of interest for the assessment of both the thrombogenic and the cavitational potential of a candidate valve. A newly de...
 
Design Space Exploration for an Adaptive Noise Cancellation Algorithm
Found in: Reconfigurable Computing and FPGAs, International Conference on
By E.M. de Icaya, V. Rodellar, C. Gonzalez, V. Peinado, V. Garcia
Issue Date:September 2006
pp. 1-7
The most difficult aspect of system-level design consists in make a good selection between the multiplicities of options in the task level specification. This process relies heavily on the quality of the area, execution time and power consumption measures;...
 
A VLSI for deskewing and fault tolerance in LVDS links
Found in: IEEE-NPSS Real Time Conference
By G. Torralba, V. Angelov, V. Gonzalez, I. Kisel, V. Lindenstruth, J. Martos, C. Reichling, E. Sanchis, J. Soret, J. Torres
Issue Date:June 2005
pp. 126
The device presented at this work is a switch implemented in a 0.35 /spl mu/m CMOS process for compensating the skew which affects parallel data signal transmissions and for providing fault tolerance in large scale scalable systems, for instance used in tr...
 
Large deployable antenna for various space applications
Found in: International Conference on Antenna Theory and Techniques
By K. van't Klooster, L. Scialino, A. Cherniavski, E. Medzmariashvili, V. Korneev, Y. Kravchenko, V. Gulyayev, R. Magjanov, J. Santiago-Prowald, L. Scolamiero, V. Lubrano, F. Silvestrucci, E. Fei, D. Raboso
Issue Date:May 2005
pp. 70-73
The paper describes how an activity is going on for a design, development and realisation of a large 12-meter deployable reflector antenna for space applications. The reflector antenna system is subject of an ESA contract awarded to Alenia Spazio as a prim...
 
Brief announcement: on the round complexity of distributed consensus over synchronous networks
Found in: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing (PODC '04)
By C. Pandu Rangan, D. V. S. Ravikant, K. Srinathan, V. Muthuramakrishnan, V. Srikanth
Issue Date:July 2004
pp. 397-397
Secret handshake protocols were recently introduced by Balfanz, et al. [1] to allow members of the same group to authenticate each other secretly, in the sense that someone who is not a group member cannot tell, by engaging in the handshake protocol, wheth...
     
Model Checking ?-Calculus in Well-Structured Transition Systems
Found in: Temporal Representation and Reasoning, International Syposium on
By E. V. Kouzmin, N. V. Shilov, V. A. Sokolov
Issue Date:July 2004
pp. 152-155
We study the model checking problem for fixpoint logics in well-structured multiaction transition systems. P.A. Abdulla et al. (1996) and Finkel & Schnoebelen (2001) examined the decidability problem for liveness (reachability) and progress (eventualit...
 
Crosstalk Fault Tolerant Processor Architecture - A Power Aware Design
Found in: Electronic Design, Test and Applications, IEEE International Workshop on
By N. Venkateswaran, V. Barath Kumar, R. Raghavan, R. Srinivas, S. Subramanian, V. Balaji, V. Mahalingam, T. L. Rajaprabhu
Issue Date:January 2004
pp. 333
The advent of DSM technology and multi-GHz operation of processors has increased the severity of cross-talk faults. Even with many preventive solutions like cross-talk driven routing, power supply shielding and intentional skewing; cross-talk faults cannot...
 
AutoMate: Enabling Autonomic Applications on the Grid
Found in: International Workshop on Active Middleware Services
By M. Agarwal, V. Bhat, H. Liu, V. Matossian, V. Putty, C. Schmidt, G. Zhang, L. Zhen, M. Parashar, B. Khargharia, S. Hariri
Issue Date:June 2003
pp. 48
The increasing complexity, heterogeneity and dynamism of networks, systems, services applications have made our computational/information infrastructure brittle, unmanageable and insecure. This has necessitated the investigation of a new paradigm for desig...
 
Testing the E-business Infrastructure: Expanding into the Wireless/Mobile Environments
Found in: Hawaii International Conference on System Sciences
By F. Darnell, V. Milutinovic, I. Branovic, M. Desivojevic, S. Ilic, V. Jovanovic, V. Jovicic, B. Milic, D. Milutinovic, S. Omorac, M. Savic, M. Simic, N. Uskokovic, Dj. Velickovic
Issue Date:January 2002
pp. 299b
This paper describes the necessity of the third-party testing and monitoring in the field of e-business infrastructure, with the emphasis on expanding into the wireless environments for improvement of the quality of service. Outlining the purpose for monit...
   
Depth first generation of long patterns
Found in: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining (KDD '00)
By Charu C. Aggarwal, Ramesh C. Agarwal, V. V. V. Prasad
Issue Date:August 2000
pp. 108-118
With over 800 million pages covering most areas of human endeavor, the World-wide Web is a fertile ground for data mining research to make a difference to the effectiveness of information search. Today, Web surfers access the Web through two dominant inter...
     
Sensor Errors Prediction Using Neural Networks
Found in: Neural Networks, IEEE - INNS - ENNS International Joint Conference on
By A. Sachenko, V. Kochan, V. Turchenkol, V. Golovko, J. Savitsky, A. Dunets, T. Laopoulos
Issue Date:July 2000
pp. 4441
The features of neural networks using for increasing of an accuracy of physical quantity measurement are considered by prediction of sensor drift. The technique of data volume increasing for predicting neural network training is offered at the expense of v...
 
Mathematical Methods for Pattern Recognition: Logic, Optimizational, Algebraic Approaches
Found in: Pattern Recognition, International Conference on
By V V Riazanov, O V Sen'ko, Yu I Zhuravlev
Issue Date:August 1998
pp. 831
No summary available.
 
Hidden Tree-Like Quasi- Markov Model and Generalized Technique for a Class of Image Analysis Problems
Found in: Pattern Recognition, International Conference on
By V. V. Mottl, I.B. Muchnik, A.B. Blinov, A. V. Kopylov
Issue Date:August 1996
pp. 715
No summary available.
 
Characterization of message ordering specifications and protocols
Found in: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (PODC '96)
By V. K. Garg, V. V. Murty
Issue Date:May 1996
pp. 88
In [4] a randomized algorithm for mutual exclusion with bounded waiting, employing a logarithmic sized shared variable, was given. Saias and Lynch [5] pointed out that the adversary scheduler postulated in the above paper can observe the behavior of proces...
     
Symbolic evaluation in the nonlinear mechanical systems
Found in: Proceedings of the 1993 international symposium on Symbolic and algebraic computation (ISSAC '93)
By D. M. Klimov, V. M. Rudenko, V. V. Leonov
Issue Date:July 1993
pp. 53-54
We discuss in this paper the problems arised in the implementation in Macsyma of a direct algorithm for computing the formal solutions of differential systems in the neighborhood of regular singular point.The differential system to be considered is of the ...
     
Application of computer algebra to the investigation of the orbital satellite motion
Found in: Proceedings of the 1991 international symposium on Symbolic and algebraic computation (ISSAC '91)
By A. F. Bragazin, I. P. Shmyglevsky, V. M. Rudenko, V. V. Leonov
Issue Date:July 1991
pp. 450-451
We discuss in this paper the problems arised in the implementation in Macsyma of a direct algorithm for computing the formal solutions of differential systems in the neighborhood of regular singular point.The differential system to be considered is of the ...
     
An optimal algorithm for on-line bipartite matching
Found in: Proceedings of the twenty-second annual ACM symposium on Theory of computing (STOC '90)
By R. M. Karp, U. V. Vazirani, V. V. Vazirani
Issue Date:May 1990
pp. 352-358
View an n-vertex, m-edge undirected graph as an electrical network with unit resistors as edges. We extend known relations between random walks and electrical networks by showing that resistance in this network is intimately connected with the lengths of r...
     
GPU-Accelerated Interactive Visualization and Planning of Neurosurgical Interventions
Found in: IEEE Computer Graphics and Applications
By Mario Rincon-Nigro,Nikhil V. Navkar,Nikolaos V. Tsekos, Zhigang Deng
Issue Date:January 2014
pp. 22-31
Advances in computational methods and hardware platforms provide efficient processing of medical-imaging datasets for surgical planning. For neurosurgical interventions employing a straight access path, planning entails selecting a path from the scalp to t...
 
ProCA: Progressive Configuration Aware Design Methodology for Low Power Stochastic ASICs
Found in: 2014 27th International Conference on VLSI Design
By Neel Gala,V.R. Devanathan,Karthik Srinivasan,V. Visvanathan,V. Kamakoti
Issue Date:January 2014
pp. 342-347
With increasing integration of capabilities into mobile application processors, a host of imaging operations that were earlier performed in software are now implemented in hardware. Though imaging applications are inherently error resilient, the complexity...
 
Design and Implementation of High Throughput and Area Efficient Hard Decision Viterbi Decoder in 65nm Technology
Found in: 2014 27th International Conference on VLSI Design
By Narayan V. Sugur,Saroja V. Siddamal,Samba Sivam Vemala
Issue Date:January 2014
pp. 353-358
This paper presents a high throughput (1Gbps) and moderate area for constraint length K=3, code rate R=1/2 and four states (N=4) hard decision state parallel Viterbi decoder. The Add Compare Select (ACS) unit in path metric unit is designed to reduce the l...
 
ARI: Adaptive LLC-memory traffic management
Found in: ACM Transactions on Architecture and Code Optimization (TACO)
By A. L. Narasimha Reddy, Paul V. Gratz, Sheng Qiu, Viacheslav V. Fedorov
Issue Date:December 2013
pp. 1-19
Decreasing the traffic from the CPU LLC to main memory is a very important issue in modern systems. Recent work focuses on cache misses, overlooking the impact of writebacks on the total memory traffic, energy consumption, IPC, and so forth. Policies that ...
     
A Tool for Scientific Provenance of Data and Software
Found in: 2013 IEEE 16th International Conference on Computational Science and Engineering (CSE)
By Anna V. Ceguerra,Peter V. Liddicoat,Simon P. Ringer,Wojtek J. Goscinski,Steve Androulakis
Issue Date:December 2013
pp. 561-565
For a scientist in the modern era, reliability of results is no longer the key to a successful career in research. Increasingly, scientists must demonstrate the applicability (e.g. usefulness) of their work, as well as ensure the research is accessible (e....
 
Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed Simulation
Found in: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC)
By Alisson V. Brito,Angelo V. Negreiros
Issue Date:November 2013
pp. 53-58
Nowadays, embedded systems have a huge amount of computational power and consequently, high complexity. It is quite usual to find different applications being executed in embedded systems. Embedded system design demands for method and tools that allow the ...
 
An asthma management framework for the RespDoc clinical decision support system based on the combination of the official clinical guidelines
Found in: 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE)
By Aikaterini V. Rigopoulou,Michael B. Anthracopoulos,Charis V. Katsardis,Dimitrios K. Lymberopoulos
Issue Date:November 2013
pp. 1-4
In this paper we propose a new framework for the in- and out-hospital homogeneous management of childhood asthma through a combination of official clinical guidelines for asthma management. The main indicator used for the assessment of the child's asthma i...
   
Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA
Found in: 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
By Alisson V. Brito,Angelo V. Negreiros,Christoph Roth,Oliver Sander,Jurgen Becker
Issue Date:October 2013
pp. 189-196
Nowadays, embedded systems have a huge amount of computational power and consequently, high complexity. It is quite usual to find different applications being executed in embedded systems. Embedded system design demands for method and tools that allow the ...
 
A Communication Model for Assessing Dynamics of Scientific Communities, Based on Citation Analysis
Found in: 2013 International Conference on Culture and Computing (Culture Computing)
By V. V. Kryssanov,F. J. Rinaldo,H. Ogawa,E. L. Kuleshov
Issue Date:September 2013
pp. 147-148
This paper outlines a novel theoretical framework to analyze the citation process in a broad context of communication studies. The devised model is validated with two large datasets. From the theory, a three-interval classification system emerges, which is...
 
Text - image separation in Devanagari documents
Found in: Proceedings Seventh International Conference on Document Analysis and Recognition
By S. Khedekar,V. Ramanaprasad,S. Setlur,V. Govindaraju
Issue Date:July 2013
pp. 1265,1266,1267,1268,1269
No summary available.
 
Does a CBIR system really impact decisions of physicians in a clinical environment?
Found in: 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS)
By Marcelo Ponciano-Silva,Juliana P. Souza,Pedro H. Bugatti,Marcos V. N. Bedo,Daniel S. Kaster,Rosana T. V. Braga,Angela D. Bellucci,Paulo M. Azevedo-Marques,Caetano Traina,Agma J. M. Traina
Issue Date:June 2013
pp. 41-46
Content-based image retrieval systems are employed in several areas. One of the most prominent area is the medical field, due to the huge volume of digital images daily generated in healthcare institutions employed for decision making. There are several wo...
   
Stochastic games with branching-time winning objectives
Found in: 21st Annual IEEE Symposium on Logic in Computer Science
By T. Brazdil,V. Brozek,V. Forejt,A. Kucera
Issue Date:June 2013
pp. 349-358
We consider stochastic turn-based games where the winning objectives are given by formulae of the branching-time logic PCTL. These games are generally not determined and winning strategies may require memory and or randomization. Our main results concern h...
 
 1  2 Next >>