Search results for "Determinable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Volker Claus, H. Walter	Zerlegungen von Semi-Thue-Systemen.	Computing	1969	DBLP DOI BibTeX RDF
37	Yue Deng 0004	Determinable and interpretable network representation for link prediction.	CoRR	2022	DBLP DOI BibTeX RDF
37	Ye Cao, Yongduan Song	Practical prescribed time tracking control with user pre-determinable precision for uncertain nonlinear systems.	CDC	2020	DBLP DOI BibTeX RDF
37	Tomoyuki Hiroyasu, Yuichi Obori, Hisatake Yokouchi	Classification method into determinable and indeterminable areas using SVM and learning data selection.	SCIS&ISIS	2012	DBLP DOI BibTeX RDF
37	Robert Schroer	Can determinable properties earn their keep?	Synth.	2011	DBLP DOI BibTeX RDF
37	Kwok-Chiang Ho, Kah-Chye Tan, Wee Ser	An investigation on number of signals whose directions-of-arrival are uniquely determinable with an electromagnetic vector sensor.	Signal Process.	1995	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
21	Grzegorz Polaków, Mieczyslaw Metzger	Web-Based Visualization of Student Cooperation during Distributed Laboratory Experimentation.	CDVE	2009	DBLP DOI BibTeX RDF	distributed cooperation, remote learning, collaborative experimentation, visualization, industrial process control
21	Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison	A Component-Based Model and Language for Wireless Sensor Network Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Insense, wireless sensor network, model, Component, composition, language, resource constraint
21	Daniel Meltz, Yizhar Or, Elon Rimon	Experimental Verification and Graphical Characterization of Dynamic Jamming in Frictional Rigid-Body Mechanics.	ICRA	2007	DBLP DOI BibTeX RDF
21	Timo Kohlberger, Gareth Funka-Lea, Vladimir Desh	Soft Level Set Coupling for LV Segmentation in Gated Perfusion SPECT.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
21	Frank Dignum	Organizing Software Agents.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
21	Greg Michaelson, Kevin Hammond, Jocelyn Sérot	FSM-Hume: programming resource-limited systems using bounded automata.	SAC	2004	DBLP DOI BibTeX RDF	multi-process simulation, functional language, finite state automata
21	Jon A. Solworth, Robert H. Sloan	Security Property Based Administrative Controls.	ESORICS	2004	DBLP DOI BibTeX RDF
21	Marzena Kryszkiewicz	Upper Bound on the Length of Generalized Disjunction-Free Patterns.	SSDBM	2004	DBLP DOI BibTeX RDF
21	Hideyuki Miura, Luong Dinh Hung, Chitaka Iwama, Daisuke Tashiro, Niko Demus Barli, Shuichi Sakai, Hidehiko Tanaka	Compiler-Assisted Thread Level Control Speculation.	Euro-Par	2003	DBLP DOI BibTeX RDF
21	Chi-Keung Luk, Robert Muth, Harish Patil, Richard Weiss 0001, P. Geoffrey Lowney, Robert S. Cohn	Profile-guided post-link stride prefetching.	ICS	2002	DBLP DOI BibTeX RDF	address strides, post-link optimizations, profiling, data prefetching, memory latency
21	Mitchell Wand	A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming.	SAIG	2001	DBLP DOI BibTeX RDF
21	V. Prasad Krothapalli, P. Sadayappan	Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	FORTRAN