Search results for "State space"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Onno Zoeter, Tom Heskes	Deterministic approximate inference techniques for conditionally Gaussian state space models.	Statistics and Computing	2006	DBLP DOI BibTeX RDF	Conditionally Gaussian state space models, Switching linear dynamical systems, Expectation propagation, Assumed density filtering, State space models, Approximate inference
4	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion
3	Ralf Östermark	Genetic hybrid tuning of VARMAX and state space algorithms.	Soft Comput.	2010	DBLP DOI BibTeX RDF	VARMAX processes, Artificial intelligence, Hybrid models, State space modelling, Parametric search
3	Ruth Lamprecht, Peter Kemper	Reflection symmetry detection to reduce the state space of Markovian models.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	dependable computing, state space reduction, symmetry detection, spatial model, Markovian model
3	Morgan Magnin, Didier Lime, Olivier H. Roux	Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).	Petri Nets	2008	DBLP DOI BibTeX RDF	Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
3	Darko Marinov, Wolfram Schulte	Workshop on state-space exploration for automated testing (SSEAT 2008).	ISSTA	2008	DBLP DOI BibTeX RDF	random exploration, genetic algorithms, model checking, symbolic execution, automated testing, constraint solving, state-space exploration
3	Rosmiwati Mohd-Mokhtar, Liuping Wang	Continuous Time State Space Model Identification Using Closed-Loop Data.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	closed-loop system, system identification, state-space model, continuous time
3	Osamu Hirose, Ryo Yoshida, Rui Yamaguchi, Seiya Imoto, Tomoyuki Higuchi, Satoru Miyano	Analyzing Time Course Gene Expression Data with Biological and Technical Replicates to Estimate Gene Networks by State Space Models.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	time course gene expression data, technical and biological replicates, state space model, gene networks
3	Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Mahesh Viswanathan	Incremental state-space exploration for programs with dynamically allocated data.	ICSE	2008	DBLP DOI BibTeX RDF	jpf, model checking, incremental computation, state-space exploration, java pathfinder, j-sim
3	Harsh Singhal, George Michailidis	Optimal sampling in state space models with applications to network monitoring.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	internet traffic matrix estimation, optimal design of experiments, kalman filtering, state space models
3	Kin Foon Kevin Wong, Tohru Ozaki	Akaike causality in state space.	Biological Cybernetics	2007	DBLP DOI BibTeX RDF	Akaike causality, Noise contribution ratio, Instantaneous causality, State space model, Latent variable
3	Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner	Exploiting interleaving semantics in symbolic state-space generation.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
3	Ralf Wimmer, Marc Herbstritt, Bernd Becker	Optimization techniques for BDD-based bisimulation computation.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
3	Gianfranco Ciardo, Robert M. Marmorstein, Radu Siminiceanu	The saturation algorithm for symbolic state-space exploration.	STTT	2006	DBLP DOI BibTeX RDF	Globally asynchronous locally synchronous systems, Symbolic state-space generation, Decision diagrams, Kronecker algebra, Fixed-point iterations
3	Paul Sotiriadis, Abdullah Celik, Zhaonian Zhang	Rapid intermodulation distortion estimation in fully balanced weakly nonlinear Gm-C filters using state-space modeling.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	Gm-C filters, distortion model, fully balanced, fully differential, harmonic distortion, weak nonlinearity, fast algorithm, perturbation, state space, circuit analysis
3	Steven L. Tanimoto, Stefano Levialdi	A transparent interface to state-space search programs.	SOFTVIS	2006	DBLP DOI BibTeX RDF	collaborative problem solving, state-space search, transparent interface, tree layout, computer-aided design, interactive search
3	Mohammad Abdollahi Azgomi, Ali Movaghar	Efficient Evaluation of CSAN Models by State Space Analysis Methods.	ICSEA	2006	DBLP DOI BibTeX RDF	coloured stochastic activity networks, state space analysis techniques, performance evaluation, Petri nets
3	Fathi M. Salem, Khurram Waheed, Gail Erten	Blind Source Recovery in a State-Space Famework: Algorithms for Static and Dynamic Environments.	Neural Processing Letters	2005	DBLP DOI BibTeX RDF	blind source recovery, blind source deconvolution, static and dynamic environments, unsupervised learning, blind source separation, state space, adaptive signal processing, natural gradient, stochastic gradient
3	Khurram Waheed, Fathi M. Salem	Linear State Space Feedforward and Feedback Structures for Blind Source Recovery in Dynamic Environments.	Neural Processing Letters	2005	DBLP DOI BibTeX RDF	blind source recovery, feedback network, Kullback-Lieblar divergence, multi-channel blind source deconvolution, unsupervised learning, state space, adaptive signal processing, natural gradient, feedforward network
3	Sitij Agrawal, William Thies, Saman P. Amarasinghe	Optimizing stream programs using linear state space analysis.	CASES	2005	DBLP DOI BibTeX RDF	linear state space systems, embedded, synchronous dataflow, stream programing, streamit
3	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
3	Bo Wang 0002, D. M. Titterington	Lack of Consistency of Mean Field and Variational break Bayes Approximations for State Space Models.	Neural Processing Letters	2004	DBLP DOI BibTeX RDF	variational EM, maximum likelihood, state space model, Kullback-Leibler divergence, mean field, variational Bayes
3	Thomas Mailund, Michael Westergaard	Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.	TACAS	2004	DBLP DOI BibTeX RDF	memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods
3	Guillaume Gardey, Olivier H. Roux, Olivier F. Roux	Using Zone Graph Method for Computing the State Space of a Time Petri Net.	FORMATS	2003	DBLP DOI BibTeX RDF	Verification, Reachability Analysis, Time Petri Nets, State Space, Zone
3	Anne Benoit, Brigitte Plateau, William J. Stewart	Memory-Efficient Kronecker Algorithms with Applications to the Modelling of Parallel Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	large and sparse Markov chains, generalized tensor algebra, vector-descriptor multiplication, shuffle algorithm, product state space, actual state space, stochastic automata networks
3	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
3	Lin Liu, Jonathan Billington	Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.	ICATPN	2002	DBLP DOI BibTeX RDF	Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions
3	Stefan Blom, Jaco van de Pol	State Space Reduction by Proving Confluence.	CAV	2002	DBLP DOI BibTeX RDF	on-the-fly state space reduction, symbolic transformation, &#55CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation
3	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
3	Hubert Garavel, Radu Mateescu, Irina M. Smarandache	Parallel State Space Construction for Model-Checking.	SPIN	2001	DBLP DOI BibTeX RDF	state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS
3	Inhye Kang, Insup Lee, Young-Si Kim	An Efficient State Space Generation for the Analysis of Real-Time Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	real-time systems analysis, state space minimization, Formal specification, timed automata, reachability analysis
3	Peter Gordon McDonald	Using algorithm animations to assist teaching state space search: an empirical evaluation.	ACSE	2000	DBLP DOI BibTeX RDF	AI education, state space search methods, empirical evaluation, algorithm animation
3	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
3	Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled	State Space Reduction Using Partial Order Techniques.	STTT	1999	DBLP DOI BibTeX RDF	Partial order reduction, State space reduction
3	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	State Space Reduction Based on Live Variables Analysis.	SAS	1999	DBLP DOI BibTeX RDF	live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction
3	Zhen-Lei Zhou, Charles C. Nguyen	Globally Optimal Trajectory Planning for Redundant Manipulators using State Space Augmentation Method.	Journal of Intelligent and Robotic Systems	1997	DBLP DOI BibTeX RDF	Pontryagins maximum principle, state-space augmentation, optimization, trajectory planning, redundant manipulators
3	Wendy Belluomini, Chris J. Myers	Efficient Timing Analysis Algorithms for Timed State Space Exploration.	ASYNC	1997	DBLP DOI BibTeX RDF	timing analysis algorithms, timed state space exploration, timed circuit synthesis, geometric regions, computational complexity, timing, asynchronous circuits, partial orders
3	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Efficient verification of real-time systems: compact data structure and state-space reduction. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
3	Chris J. Myers, Tomas Rokicki, Teresa H. Y. Meng	Automatic synthesis of gate-level timed circuits with choice.	ARVLSI	1995	DBLP DOI BibTeX RDF	gate-level timed circuits, C-elements, explicit timing information, textual specification, conditional operation, reachable state space, semi-custom components, timing, logic CAD, asynchronous circuits, asynchronous circuits, circuit CAD, cellular arrays, circuit complexity, logic arrays, graphical representation, standard-cells, CAD tool, automatic synthesis, gate-arrays, state-space methods, AND gates, OR gates
3	Stefano Soatto, Pietro Perona	Dynamic Rigid Motion Estimation from Weak Perspective. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	dynamic rigid motion estimation, simplified projection model, depth relief, rigid 3D motion, dynamic visual motion estimation, global observability, structure independent motion estimator, time evolution, measurement constraint, six dimensional state space, approximate estimator, reduced filter, synthetic image sequences, imaging process, computational geometry, motion estimation, image sequences, occlusions, dynamic models, state space, motion parameters, weak perspective, real image sequences, bas relief ambiguity
3	Kyung Sub Joo, Tamal Bose	Two-dimensional periodic digital filters. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	two-dimensional periodic digital filters, periodically shift variant digital filters, Fornasini-Marchesini state-space model, shift-invariant system, Kiok-Neon model, 2-D PSV FM system, image scrambling, inverse system, cryptography, image representation, inverse problems, state-space methods, invertibility, two-dimensional digital filters, time-domain analysis
3	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
3	Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz	Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	concurrency analysis, experimental evaluation, deadlock detection, automatic analysis, Ada tasking, state space explosion
3	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
3	Janusz Konrad, Eric Dubois 0002	Bayesian Estimation of Motion Vector Fields.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	minimum expected cost estimation, 2D motion vector fields, time-varying images, deterministic structural model, vector Markov random fields, piecewise smooth model, maximum a posteriori probability, stochastic relaxation, picture processing, picture processing, probability, Markov processes, Bayes methods, Bayesian estimation, estimation theory, state space, Gibbs sampler, state-space methods
3	Antti Valmari	Compositional State Space Generation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification
3	Jeffrey P. Buzen, Subhash C. Agrawal	State space transformations in queueing network modeling.	SIGMETRICS	1983	DBLP DOI BibTeX RDF	Aggregate server method, Serialization delays, Shadow CPU algorithm, State space transformations, Performance evaluation, Approximation, Metamodeling, Queueing networks, Product form, Preemptive priority, Operational analysis
2	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
2	Bin Wu, ShuiGuang Deng, Ying Li, Jian Wu, Jianwei Yin	AWSP: An Automatic Web Service Planner Based on Heuristic State Space Search.	ICWS	2011	DBLP DOI BibTeX RDF	automatic Web service composition, heuristic state space search
2	Pavel Parizek, Nodir Yuldashev	Extraction of component-environment interaction model using state space traversal.	SAC	2010	DBLP DOI BibTeX RDF	software components, behavior protocols, Java PathFinder
2	Yong Zhang, Peng Li, Garng M. Huang	Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis.	DAC	2010	DBLP DOI BibTeX RDF	separatrix, SRAM, dynamic stability
2	Prasanth Lade, Narayanan Chatapuram Krishnan, Sethuraman Panchanathan	Task Prediction in Cooking Activities Using Hierarchical State Space Markov Chain and Object Based Task Grouping.	ISM	2010	DBLP DOI BibTeX RDF	Cooking Activties, Activity Prediction, Task Prediction, Hierarchical State Space, Markov Chain
2	Devavrat Shah, John N. Tsitsiklis, Yuan Zhong	Qualitative properties of alpha-weighted scheduling policies.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	exponential bound, maximum weight-alpha, state space collapse, Markov chain, switched network
2	Yuriy S. Shmaliy	Unbiased FIR Filtering of Discrete-Time Polynomial State-Space Models.	IEEE Transactions on Signal Processing	2009	DBLP DOI BibTeX RDF
2	Jussi Salmi, Andreas Richter, Visa Koivunen	Detection and Tracking of MIMO Propagation Path Parameters Using State-Space Approach.	IEEE Transactions on Signal Processing	2009	DBLP DOI BibTeX RDF
2	Jing Tian, Kai-Kuang Ma	A state-space super-resolution approach for video reconstruction.	Signal, Image and Video Processing	2009	DBLP DOI BibTeX RDF	Super-resolution imaging, Kalman filtering
2	Diego J. Pedregal, Fausto P. García, Clive Roberts	An algorithmic approach for maintenance management based on advanced state space systems and harmonic regressions.	Annals OR	2009	DBLP DOI BibTeX RDF	Point mechanisms, Reliability, Maintenance, State space models, Condition monitoring
2	Stefan Windmann, Reinhold Haeb-Umbach	Parameter Estimation of a State-Space Model of Noise for Robust Speech Recognition.	IEEE Transactions on Audio, Speech & Language Processing	2009	DBLP DOI BibTeX RDF
2	Michael Westergaard, Sami Evangelista, Lars Michael Kristensen	ASAP: An Extensible Platform for State Space Analysis.	Petri Nets	2009	DBLP DOI BibTeX RDF
2	Radu Mateescu, Anton Wijs	Hierarchical Adaptive State Space Caching Based on Level Sampling.	TACAS	2009	DBLP DOI BibTeX RDF
2	Christopher Kennedy, Arash Reyhani-Masoleh	High-speed CRC computations using improved state-space transformations.	EIT	2009	DBLP DOI BibTeX RDF
2	Sami Evangelista, Lars Michael Kristensen	Dynamic State Space Partitioning for External Memory Model Checking.	FMICS	2009	DBLP DOI BibTeX RDF
2	Jaco van de Pol, Mark Timmer	State Space Reduction of Linear Processes Using Control Flow Reconstruction.	ATVA	2009	DBLP DOI BibTeX RDF
2	Xueqing Sun, Tao Mao, Jerald D. Kralik, Laura E. Ray	Cooperative multi-robot reinforcement learning: A framework in hybrid state space.	IROS	2009	DBLP DOI BibTeX RDF
2	Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Araabi	Learning sequential visual attention control through dynamic state space discretization.	ICRA	2009	DBLP DOI BibTeX RDF
2	Mila E. Majster-Cederbaum, Christoph Minnameier	Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems.	RP	2009	DBLP DOI BibTeX RDF
2	Chen-Hsuan Lin, Chun-Yao Wang	Dependent latch identification in the reachable state space.	ASP-DAC	2009	DBLP DOI BibTeX RDF
2	Afonso Sales, Brigitte Plateau	Reachable State Space Generation for Structured Models which Use Functional Transitions.	QEST	2009	DBLP DOI BibTeX RDF	Decision Diagrams, Kronecker Algebra, Stochastic Automata Networks, State Space Generation
2	Thomas Reinbacher, Martin Horauer, Bastian Schlich	Using 3-valued memory representation for state space reduction in embedded assembly code model checking.	DDECS	2009	DBLP DOI BibTeX RDF
2	Min Wan, Gianfranco Ciardo	Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.	SOFSEM	2009	DBLP DOI BibTeX RDF
2	Didier Buchs, Levi Lucio, Ang Chen	Model Checking Techniques for Test Generation from Business Process Models.	Ada-Europe	2009	DBLP DOI BibTeX RDF	System design and verification, Higher-level Nets, Algebraic Petri Nets, Decisions Diagrams, State Space Generation
2	Hongyu Shen, Zhongdong Duan	A Time-History Analysis Algorithm of a Non-viscously Damped System Using Gauss Precise Integration.	AICI	2009	DBLP DOI BibTeX RDF	non-viscous damping, state-space equation, precise integration method, Gauss-Legendre quadrature method, time-history analysis
2	Sami Evangelista, Michael Westergaard, Lars Michael Kristensen	The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	explicit state model checking, hash compaction, delayed duplicate detection, state space reduction, state explosion problem
2	Ken C. L. Wong, Linwei Wang, Heye Zhang, Huafeng Liu, Pengcheng Shi	Computational Complexity Reduction for Volumetric Cardiac Deformation Recovery.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Cardiac information recovery, Cardiac physiome model, Deformation analysis, State-space representation, Mode superposition, Kalman filtering
2	Marcelo d'Amorim, Steven Lauterburg, Darko Marinov	Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
2	Rosario Delgado	State space collapse for asymptotically critical multi-class fluid networks.	Queueing Syst.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 68F17, 60G15, 90B22, 60F05
2	Rui Wang 0007, Vincent K. N. Lau	Robust Optimal Cross-Layer Designs for TDD-OFDMA Systems with Imperfect CSIT and Unknown Interference: State-Space Approach Based on 1-bit ACK/NAK Feedbacks.	IEEE Transactions on Communications	2008	DBLP DOI BibTeX RDF
2	Feng Tao, Timothy R. Field	A state-space model for flat fading channels with a novel method of rational function filter design.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
2	Julien Cornebise, Eric Moulines, Jimmy Olsson	Adaptive methods for sequential importance sampling with application to state space models.	Statistics and Computing	2008	DBLP DOI BibTeX RDF	Adaptive Monte Carlo, Auxiliary particle filter, Coefficient of variation, State space models, Kullback-Leibler divergence, Sequential Monte Carlo, Cross-entropy method
2	Chengjin Zhang, Robert R. Bitmead	MIMO Equalization With State-Space Channel Models.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
2	Takao Hinamoto, Toru Oumi, Osemekhian I. Omoifo, Wu-Sheng Lu	Minimization of Frequency-Weighted l2 -Sensitivity Subject to l2 -Scaling Constraints for Two-Dimensional State-Space Digital Filters.	IEEE Transactions on Signal Processing	2008	DBLP DOI BibTeX RDF
2	Wen-Yan Chang, Chu-Song Chen, Yong-Dian Jian	Visual Tracking in High-Dimensional State Space by Appearance-Guided Particle Filtering.	IEEE Transactions on Image Processing	2008	DBLP DOI BibTeX RDF
2	Norman H. Adams, Gregory H. Wakefield	State-Space Synthesis of Virtual Auditory Space.	IEEE Transactions on Audio, Speech & Language Processing	2008	DBLP DOI BibTeX RDF
2	Ghislain Verdier, Nadine Hilgert, Jean-Pierre Vila	Optimality of CUSUM Rule Approximations in Change-Point Detection Problems: Application to Nonlinear State-Space Systems.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Vibhore Kumar, Karsten Schwan, Subu Iyer, Yuan Chen, Akhil Sahai	A state-space approach to SLA based management.	NOMS	2008	DBLP DOI BibTeX RDF
2	Takashi Kuremoto, Masanao Obayashi, Kunikazu Kobayashi, Hirotaka Adachi, Kentaro Yoneda	A Neuro-fuzzy Learning System for Adaptive Swarm Behaviors Dealing with Continuous State Space.	ICIC	2008	DBLP DOI BibTeX RDF	neuro-fuzzy net, swarm behavior, actor-critic algorithm, goal-exploration problem, multi-agent system, reinforcement learning
2	Hubert P. H. Shum, Taku Komura, Shuntaro Yamazaki	Simulating interactions of avatars in high dimensional state space.	SI3D	2008	DBLP DOI BibTeX RDF	optimal control, human animation
2	Mouad Ben Mamoun, Nihal Pekergin	Model Checking of Infinite State Space Markov Chains by Stochastic Bounds.	ASMTA	2008	DBLP DOI BibTeX RDF
2	Chikoo Oosawa, Michael A. Savageau, Abdul Salam Jarrah, Reinhard C. Laubenbacher, Eduardo D. Sontag	Stabilizing and Destabilizing Effects of Embedding 3-Node Subgraphs on the State Space of Boolean Networks.	ACRI	2008	DBLP DOI BibTeX RDF	transcriptional regulatory networks, Thomas’s conjecture, entropy, feedback, mutual information, subgraph, feedforward, Boolean networks
2	Radek Pelánek	Fighting State Space Explosion: Review and Evaluation.	FMICS	2008	DBLP DOI BibTeX RDF
2	Yann-Michaël De Hauwere, Peter Vrancx, Ann Nowé	Using Generalized Learning Automata for State Space Aggregation in MAS.	KES	2008	DBLP DOI BibTeX RDF
2	Simone Paoletti, Andrea Garulli, Jacob Roll, Antonio Vicino	A necessary and sufficient condition for input-output realization of switched affine state space models.	CDC	2008	DBLP DOI BibTeX RDF
2	Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev	Sensitive state-space exploration.	CDC	2008	DBLP DOI BibTeX RDF
2	Makan Fardad, Mihailo R. Jovanovic	On the state-space design of optimal controllers for distributed systems with finite communication speed.	CDC	2008	DBLP DOI BibTeX RDF
2	Takaaki Osada, Kentaro Takagi, Yoshikazu Hayakawa, Zhi Wei Luo, Kinji Asaka	State space modeling of ionic polymer-metal composite actuators based on electrostress diffusion coupling theory.	IROS	2008	DBLP DOI BibTeX RDF
2	Xin Lu, Kiyoshi Nishiyama	State-space model identification and Kalman filtering for image sequence restoration.	ICIP	2008	DBLP DOI BibTeX RDF
2	Michal Cernanský, Matej Makula, Lubica Benusková	Improving the State Space Organization of Untrained Recurrent Networks.	ICONIP	2008	DBLP DOI BibTeX RDF
2	Silvia Chiappa	A Bayesian Approach to Switching Linear Gaussian State-Space Models for Unsupervised Time-Series Segmentation.	ICMLA	2008	DBLP DOI BibTeX RDF
2	Steven L. Tanimoto	Enhancing State-Space Tree Diagrams for Collaborative Problem Solving.	Diagrams	2008	DBLP DOI BibTeX RDF
2	Markus Lumpe, Lars Grunske, Jean-Guy Schneider	State Space Reduction Techniques for Component Interfaces.	CBSE	2008	DBLP DOI BibTeX RDF