Search results for "Determinate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston	Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.	QEST	2008	DBLP DOI BibTeX RDF
56	Eric Simon, Gerry Gaes	ASSYST - Computer Support for Guideline Sentencing.	ICAIL	1989	DBLP DOI BibTeX RDF
55	Roberto Giacobazzi, Laura Ricci	Detecting Determinate Computations by Bottom-up Abstract Interpretation.	ESOP	1992	DBLP DOI BibTeX RDF
55	Huajun Quin	Efficient Verification of Determinate Processes.	CONCUR	1991	DBLP DOI BibTeX RDF
42	Hang Guo, Ji Gao, Zeng Zhiqiang, Hu Bin	Recipe, Policy and Self-Organizing: A Hybrid Collaboration Approach for Agent-Based Cooperative Design.	CSCWD	2006	DBLP DOI BibTeX RDF
42	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Extended abstract: a race-free hardware modeling language.	MEMOCODE	2005	DBLP DOI BibTeX RDF
42	Eugene W. Stark	On the Relations Computable by a Class of Concurrent Automata.	POPL	1990	DBLP DOI BibTeX RDF
41	Nikolaos Thomos, Nikolaos V. Boulgouris, Michael G. Strintzis	Product code optimization for determinate state LDPC decoding in robust image transmission.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
41	Nikolaos Thomos, Nikolaos V. Boulgouris, Michael G. Strintzis	Robust Image Transmission Based on Product-Code Optimization for Determinate State LDPC Decoding.	ICIP	2006	DBLP DOI BibTeX RDF
41	Mark Schäfer, Walter Vogler, Petr Jancar	Determinate STG Decomposition of Marked Graphs.	ICATPN	2005	DBLP DOI BibTeX RDF
41	Evgeny V. Luk-Silberman	Foundations of Asymptotical Theory of Determinate Compact Testing.	ISTCS	1992	DBLP DOI BibTeX RDF
41	Saso Dzeroski, Stephen H. Muggleton, Stuart Russell 0001	PAC-Learnability of Determinate Logic Programs.	COLT	1992	DBLP DOI BibTeX RDF
36	William Jaworski	The logic of how-questions.	Synth.	2009	DBLP DOI BibTeX RDF	Goldman, Bennett, Kim, Van Fraassen, Belnap, Steel, Why, How, Erotetic logic, Logic, Event, Method, Determinable, Determinate, Explanation, Mechanism, Means, Functional analysis, Questions, Possibility, Manner
28	Dan Meng, Yang Xu 0001	Credit Rating Method with Heterogeneous Information.	RSKT	2008	DBLP DOI BibTeX RDF	Credit Rating, Numerical Information, Linguistic Information, Heterogeneous Information
28	Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens	On the completeness of object-creating database transformation languages.	J. ACM	1997	DBLP DOI BibTeX RDF	computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation
28	Meyer Nahon	A comparison of methods for the control of redundantly-actuated robotic systems.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Walking machines, mechanical hands, cooperating manipulators, redundant actuation, force optimization
28	Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht	Expressiveness of Efficient Semi-Deterministic Choice Constructs.	ICALP	1994	DBLP DOI BibTeX RDF
28	Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark	Stability and Sequentiality in Dataflow Networks.	ICALP	1990	DBLP DOI BibTeX RDF
28	Paul R. Kosinki	A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs.	POPL	1978	DBLP DOI BibTeX RDF	data flow programming, non-determinacy, denotational semantics
27	Kentaro Fujimoto, Volker Halbach	Classical Determinate Truth I.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
27	Zeinab Motamedi Pour, Tofigh Allahviranloo, Mozhdeh Afshar Kermani, Saeid Abbasbandy	Solving a System of Linear Equations Based on Z-Numbers to Determinate the Market Balance Value.	Adv. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
27	Yao Xiao, Ji Xu, Jing Yang 0017, Shaobo Li	Determinate Node Selection for Semi-supervised Classification Oriented Graph Convolutional Networks.	CoRR	2023	DBLP DOI BibTeX RDF
27	Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten	Time- and Behavior-Preserving Execution of Determinate Supervisory Control.	CoRR	2023	DBLP DOI BibTeX RDF
27	Zachary Goodsell	Arithmetic is Determinate.	J. Philos. Log.	2022	DBLP DOI BibTeX RDF
27	Olga Martynova 0001, Alexander Okhotin	The maximum length of shortest accepted strings for direction-determinate two-way finite automata.	CoRR	2022	DBLP DOI BibTeX RDF
27	Arash Naderi, Mohammad Reza Sohrabi, Mohammad Reza Ghasemi 0002, Babak Dizangian	A swift technique for damage detection of determinate truss structures.	Eng. Comput.	2021	DBLP DOI BibTeX RDF
27	Eduardo Benítez Sandoval, Jürgen Brandstatter, Utku Yalcin, Christoph Bartneck	Robot Likeability and Reciprocity in Human Robot Interaction: Using Ultimatum Game to determinate Reciprocal Likeable Robot Strategies.	Int. J. Soc. Robotics	2021	DBLP DOI BibTeX RDF
27	Juan P. Aguilera 0001	Determinate logic and the Axiom of Choice.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
27	Bartlomiej Blachowski, Yonghui An, Billie F. Spencer, Jinping Ou	Axial Strain Accelerations Approach for Damage Localization in Statically Determinate Truss Structures.	Comput. Aided Civ. Infrastructure Eng.	2017	DBLP DOI BibTeX RDF
27	Ryan H.-M. Huang, Dennis K.-H. Hsu, Charles H.-P. Wen	A Determinate Radiation Hardened Technique for Safety-Critical CMOS Designs.	J. Electron. Test.	2015	DBLP DOI BibTeX RDF
27	Jeronimo Quesada, Fernando Oterino-Echavarri, José Miguel Gil-García, Jose Antonio Sainz, Rafael Sebastián, Manuel Castro 0001	A platform for real-time fault-tolerant distributed control of replica-determinate inverters.	ICIT	2015	DBLP DOI BibTeX RDF
27	Jihao Liu, Weixin Yan, Yanzheng Zhao, Zhuang Fu	Analytical Model for Flexure-Based Proportion Parallel Mechanisms with Deficient-Determinate Input.	ICIRA (1)	2015	DBLP DOI BibTeX RDF
27	Jaehwan Kwon, Junghwan Lee, Hyunchan Park, Chuck Yoo	Seamless streaming with intelligent rate determinate algorithm in content centric networks.	ICCE	2014	DBLP DOI BibTeX RDF
27	David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter	Determinate composition of FMUs for co-simulation.	EMSOFT	2013	DBLP DOI BibTeX RDF
27	Xiang Wang, Guodong Wu	Over-Determinate and Incomplete Contract: Incentive Contract Based on Rabin Motivation Fairness Model.	BIFE	2013	DBLP DOI BibTeX RDF
27	Larry Allen, Vivek Natarajan, Donald Price	Social and cultural factors as a determinate of ICT expenditures: an empirical study.	Int. J. Inf. Syst. Chang. Manag.	2012	DBLP DOI BibTeX RDF
27	Xu Li, Liang Cheng 0001	Determinate bounds of design parameters for critical connectivity in wireless multi-hop line networks.	WCNC	2011	DBLP DOI BibTeX RDF
27	Jiaxin Zhao	Computer application in solving statically determinate truss problems using FEA and Matlab.	Comput. Appl. Eng. Educ.	2009	DBLP DOI BibTeX RDF
27	Christian Wallraven, Kathrin Kaulard, Cora Kürner, Robert Pepperell, Heinrich H. Bülthoff	Psychophysics for perception of (in)determinate art.	APGV	2007	DBLP DOI BibTeX RDF	perception of art, perceptual graphics, categorization, psychophysics
27	Rob Reilly, Barry Kort	Establishing Rules and Conventions for the Infrastructure: The 'Tragedy of the Unmanaged Commons' as a Determinate Factor.	WETICE	2001	DBLP DOI BibTeX RDF
27	Mohamed Aboutabl, Ashok K. Agrawala, Jean-Dominique Decotignie	Temporally Determinate Disk Access: An Experimental Approach (Extended Abstract).	SIGMETRICS	1998	DBLP DOI BibTeX RDF
27	Stefan Kramer 0001, Bernhard Pfahringer, Christoph Helma	Stochastic Propositionalization of Non-determinate Background Knowledge.	ILP	1998	DBLP DOI BibTeX RDF
27	Oliver M. Collins, Murad Hizlan	Determinate state convolutional codes.	IEEE Trans. Commun.	1993	DBLP DOI BibTeX RDF
27	Peter A. Beerel, Jerry R. Burch, Teresa H.-Y. Meng	Efficient verification of determinate speed-independent circuits.	ICCAD	1993	DBLP DOI BibTeX RDF
27	M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo	Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.	LOPSTR	1993	DBLP BibTeX RDF
27	J. Ross Quinlan	Knowledge Acquisition from Structured Data: Using Determinate Literals to Assist Search.	IEEE Expert	1991	DBLP DOI BibTeX RDF
27	F. Warren Burton	Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.	J. Funct. Program.	1991	DBLP DOI BibTeX RDF
27	J. Ross Quinlan	Determinate Literals in Inductive Logic Programming.	ML	1991	DBLP DOI BibTeX RDF
27	J. Ross Quinlan	Determinate Literals in Inductive Logic Programming.	IJCAI	1991	DBLP BibTeX RDF
27	F. Warren Burton	Indeterminate Behavior with Determinate Semantics in Parallel Programs.	FPCA	1989	DBLP DOI BibTeX RDF	Miranda
27	Jacqueline Lück, Hermann B. Lück	From OL and IL map systems to indeterminate and determinate growth in plant morphogenesis.	Graph-Grammars and Their Application to Computer Science	1986	DBLP DOI BibTeX RDF
27	J. Dean Brock	A formal model of non-determinate dataflow computation.		1983	RDF
27	J. Dean Brock, William B. Ackerman	Scenarios: A Model of Non-Determinate Computation.	ICFPC	1981	DBLP DOI BibTeX RDF
27	Detlef Seese	Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.	FCT	1981	DBLP DOI BibTeX RDF
27	Jeffrey S. Kaiser	Organizational Behavior: a Vector of Single-valued Transformations within a Determinate Machine.	Cybern. Syst.	1980	DBLP DOI BibTeX RDF
27	Suhas S. Patil	Closure properties of interconnections of determinate systems.	Project MAC Conference on Concurrent Systems and Parallel Computation	1970	DBLP DOI BibTeX RDF
14	Sun-Yuan Hsieh, Tsung-Yen Chuang	The Strong Diagnosability of Regular Networks and Product Networks under the PMC Model.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
14	Andrey Ronzhin, Alexey Karpov 0001, Irina S. Kipyatkova	Designing Cognition-Centric Smart Room Predicting Inhabitant Activities.	HCI (16)	2009	DBLP DOI BibTeX RDF	cognitive-centric design, intelligent meeting room, context awareness, ambient intelligence, multimodal interfaces, smart home
14	Matteo Dellepiane, Marco Callieri, Massimiliano Corsini, Paolo Cignoni, Roberto Scopigno	Flash Lighting Space Sampling.	MIRAGE	2009	DBLP DOI BibTeX RDF	texture, Color, shadowing, shading
14	Ke Zhang	Structure Design of the 3-D Braided Composite Based on a Hybrid Optimization Algorithm.	AICI	2009	DBLP DOI BibTeX RDF	Composite, Ant Colony Algorithm, Structure Design
14	Maoxing Liu, Jiong Ruan	Modelling of Epidemics with a Generalized Nonlinear Incidence on Complex Networks.	Complex (2)	2009	DBLP DOI BibTeX RDF	Nonlinear incidence, The basic reproductive number, Complex networks, Epidemics
14	Linda C. van der Gaag, Silja Renooij, Wilma Steeneveld, Henk Hogeveen	When in Doubt ... Be Indecisive.	ECSQARU	2009	DBLP DOI BibTeX RDF	Probabilistic classification, indecisiveness
14	Xiaohui Cui, Justin M. Beaver, Jim N. Treadwell, Thomas E. Potok, Laura Pullum	A Stigmergy Approach for Open Source Software Developer Community Simulation.	CSE (4)	2009	DBLP DOI BibTeX RDF
14	Song Zou, Haiying Xiao, Huagen Wan, Xiaolong Zhou	Vision-based hand interaction and its application in pervasive games.	VRCAI	2009	DBLP DOI BibTeX RDF	hand motion trajectory, intelligent HCI, pervasive game, hand gesture recognition
14	Andrey Ronzhin, V. Yu. Budkov	Multimodal Interaction with Intelligent Meeting Room Facilities from Inside and Outside.	NEW2AN	2009	DBLP DOI BibTeX RDF	intelligent meeting room, ambient intelligence, multimodal interfaces, mobile communication, smart space
14	Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou 0002	The Case for Timing-Centric Distributed Software Invited Paper.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
14	Ke Zhang	Optimization of the Damping of the Rectangular 3-D Braided Composite Based on PSO Algorithm.	ISICA	2009	DBLP DOI BibTeX RDF	optimization, particle swarm optimization, Composite
14	Julio Abad, Francisco J. Gómez, Javier Sesma	An algorithm to obtain global solutions of the double confluent Heun equation.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 34B30, 33E20, 34M35
14	Yosra Barouni, Prométhée Spathis	Content-centric routing for the autonomic networks.	Autonomics	2008	DBLP DOI BibTeX RDF
14	Antonio Ruiz-Martínez, Juan A. Sánchez-Laguna, Antonio Fernandez Gómez-Skarmeta	Towards a Generic Payment Framework for Internet Media-on-Demand Services Based on RTSP.	AINA	2008	DBLP DOI BibTeX RDF	macropayment, multimedia, streaming, negotiation, payment, micropayment, pay-per-view
14	Junchao Xiao, Qing Wang 0001, Mingshu Li 0001, Ye Yang, Fan Zhang, Lizi Xie	A constraint-driven human resource scheduling method in software development and maintenance process.	ICSM	2008	DBLP DOI BibTeX RDF
14	Luis Ceze, Christoph von Praun, Calin Cascaval, Pablo Montesinos, Josep Torrellas	Concurrency control with data coloring.	MSPC	2008	DBLP DOI BibTeX RDF	data coloring, concurrency control, programming model
14	Christian Böhm 0001, Claudia Plant	HISSCLU: a hierarchical density-based method for semi-supervised clustering.	EDBT	2008	DBLP DOI BibTeX RDF
14	Jinhai Chen, Weiguo Li	Equivalent Conditions for Convergence of Splittings of Non-Hermitian Indefinite Matrices.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Non-Hermitian matrix, Indefinite matrix, Convergent splitting, Matrix with a dominant symmetric part
14	Carlo Innocenti	Statics as a Means to Assess the Sensitivity of a Manipulator to Kinematic Parameter Deviations.	ICRA	2007	DBLP DOI BibTeX RDF
14	Fabian M. Uriarte, Karen L. Butler-Purry	A partitioning approach for the parallel simulation of ungrounded shipboard power systems using Kron's diakoptics and loop analysis.	SCSC	2007	DBLP BibTeX RDF	Kron, diakoptics, shipboard, ungrounded, simulation, cluster, parallel, partitioning, power, systems, PC, loop, transient
14	José Luis Oropeza Rodríguez, Sergio Suárez Guerra	Using Adaptive Filter and Wavelets to Increase Automatic Speech Recognition Rate in Noisy Environment.	MICAI	2007	DBLP DOI BibTeX RDF	Least Measure Square and noisy speech signal, noisy reduction, Automatic Speech Recognition, Haar wavelets, Daubechies wavelet
14	José Luis Oropeza Rodríguez, Sergio Suárez Guerra, Luis Pastor Sánchez Fernández	Using Adaptive Filter to Increase Automatic Speech Recognition Rate in a Digit Corpus.	CIARP	2007	DBLP DOI BibTeX RDF	Continuous Density Hidden Markov Models, Gaussian Mixtures and noisy speech signals, Adaptative Filters, Automatic Speech Recognition
14	Ju-Hua Mo, Min Huang 0001, Xingwei Wang 0001	Optimal Design of the Real-Time Production Control System for a General Single-Product Assembly Line Based on Fuzzy Logic Control, Genetic Algorithm and Simulation.	FSKD (2)	2007	DBLP DOI BibTeX RDF
14	Markus Schneider 0001, Alejandro Pauly	ROSA: An Algebra for Rough Spatial Objects in Databases.	RSKT	2007	DBLP DOI BibTeX RDF	spatial vagueness, rough spatial data type, Spatial database
14	Rayner Alfred, Dimitar Kazakov	Discretization Numbers for Multiple-Instances Problem in Relational Database.	ADBIS	2007	DBLP DOI BibTeX RDF	Entropy-based, Multiple Instance, Genetic Algorithm, Discretization, Semi-supervised clustering
14	Christoph von Praun, Luis Ceze, Calin Cascaval	Implicit parallelism with ordered transactions.	PPoPP	2007	DBLP DOI BibTeX RDF	ordered transactions, parallel programming, transactional memory, thread-level speculation, program parallelization, implicit parallelism
14	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
14	Matteo Zoppi, Rezia M. Molfino	Equilibrium analysis of multi-limbs walking and climbing robots.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Climbing and walking robots, Quasi-static locomotion, On-line equilibrium, Robot equilibrium modeling, Robots with ropes/tethers/strings
14	Xiaoyan Sun 0002, Dun-Wei Gong, Guo-sheng Hao	Representative Selection for Cooperative Co-evolutionary Genetic Algorithms.	SEAL	2006	DBLP DOI BibTeX RDF
14	Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari	A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.	ISMIS	2006	DBLP DOI BibTeX RDF
14	Timothy Koschmann, Curtis LeBaron, Charles Goodwin, Paul J. Feltovich	The mystery of the missing referent: objects, procedures, and the problem of the instruction follower.	CSCW	2006	DBLP DOI BibTeX RDF	referential practice, gesture, workplace studies
14	Yuh-Ren Tsai, Tien-Yu Lin, Kai-Jie Yang	Sensing Coverage for Randomly Distributed Wireless Sensor Networks in Shadowed Environments.	SUTC (1)	2006	DBLP DOI BibTeX RDF
14	Wenfeng Zhao, Jun-Liang Chen	Toward Automatic Discovery and Invocation of Information-Providing Web Services.	ASWC	2006	DBLP DOI BibTeX RDF
14	Poyuan Li, Soon-Gyu Jeong, Sang-Jo Yoo	A Sensing Resolution-Based Energy Efficient Communication Protocol for Wireless Sensor Networks.	EUC	2006	DBLP DOI BibTeX RDF	Sensing Resolution, Wireless Sensor Networks, Energy Efficiency, Grouping, Network Lifetime
14	Alejandro Pauly, Markus Schneider 0001	Identifying topological predicates for vague spatial objects.	SAC	2005	DBLP DOI BibTeX RDF	VASA, cancellation rule, clustering rule, vague spatial data type, query language, three-valued logic
14	Jorge Axel Domínguez-López, Gilberto Marrufo	Hybrid Fuzzy/Expert System to Control Grasping with Deformation Detection.	MICAI	2005	DBLP DOI BibTeX RDF
14	Alfredo Arnaud	An efficient chopper amplifier, using a switched Gm-C Filter technique.	SBCCI	2005	DBLP DOI BibTeX RDF	low-power, CMOS, analog design
14	Kevin Adams	An approach to near real-time dynamic distributed system control under uncertainty.	WSC	2005	DBLP BibTeX RDF
14	Guoling Lao, Liping Wang	Application of e-commerce security management strategy in banking.	ICEC	2005	DBLP DOI BibTeX RDF	security management strategy, e-commerce, risk, bank
14	Feng Gao, Yingwu Chen 0001, Guo-Ping Jiang, Yanqiong Liu	Model and heuristic algorithm of R&D project scheduling problem with stochastic number of activity iterations.	IRI	2005	DBLP DOI BibTeX RDF
14	William H. Friedman	Learning program organization through COBOL.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	advance planning, programming, logic, organization, COBOL
14	Christian Böhm 0001, Karin Kailing, Hans-Peter Kriegel, Peer Kröger	Density Connected Clustering with Local Subspace Preferences.	ICDM	2004	DBLP DOI BibTeX RDF
14	Christian Böhm 0001, Karin Kailing, Peer Kröger, Arthur Zimek	Computing Clusters of Correlation Connected Objects. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
14	Pascual Julián Iranzo, Christian Villamizar Lamus	Analysing Definitional Trees: Looking for Determinism.	FLOPS	2004	DBLP DOI BibTeX RDF	narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming