Search results for "viability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Bernhard Poerksen	"We Can Never Know What Goes On In Somebody Else's Head": Ernst Von Glasersfeld On Truth And Viability, Language And Knowledge, And The Premises Of Constructivist Education.	Cybern. Syst.	2004	DBLP DOI BibTeX RDF
16	Camilo Rueda, Frank D. Valencia	Non-viability Deductions in Arc-Consistency Computation.	ICLP	2004	DBLP DOI BibTeX RDF
16	Cory McKay	Automatic Genre Classification as a Study of the Viability of High-Level Features for Music Classification.	ICMC	2004	DBLP BibTeX RDF
16	Pat Doyle	Practical Viability of Multiple Imputation as a Tool for Disclosure Protection for Large Scale Recurring Surveys.	IASSIST Conference	2004	DBLP BibTeX RDF
16	George Jee, Con Edison, Ram Das Rao, Yehuda Cern	Demonstration of the technical viability of PLC systems on medium- and low-voltage lines in the United States.	IEEE Commun. Mag.	2003	DBLP DOI BibTeX RDF
16	John Willinsky	Scholarly Associations and the Economic Viability of Open Access Publishing.	J. Digit. Inf.	2003	DBLP BibTeX RDF
16	Tzanko Donchev, Marc Quincampoix	Nonemptiness of viability kernels for infinite-dimensional differential inclusions.	Appl. Math. Lett.	2003	DBLP DOI BibTeX RDF
16	Maria Amélia de Mesquita Fetzner	Viability of Telework at PROCEMPA.	Cyberpsychology Behav. Soc. Netw.	2003	DBLP DOI BibTeX RDF
16	G. Labinaz, Martin Guay	Viability, the solution set, and fixed point approximation of hybrid systems.	CDC	2003	DBLP DOI BibTeX RDF
16	Daoud Boutana, Mokhtar Nibouche	On the viability of the smoothed pseudo Wigner-Ville distribution for time-frequency analysis of Arabic speech signal.	ICECS	2003	DBLP DOI BibTeX RDF
16	John Lygeros	Infinite Horizon Minmax Optimal Control: A Viability Approach.	ADHS	2003	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin, John Lygeros, Marc Quincampoix, Shankar Sastry 0001, Nicolas Seube	Impulse differential inclusions: a viability approach to hybrid systems.	IEEE Trans. Autom. Control.	2002	DBLP DOI BibTeX RDF
16	Teresa León, Vicente Liern, Enriqueta Vercher	Viability of infeasible portfolio selection problems: A fuzzy approach.	Eur. J. Oper. Res.	2002	DBLP DOI BibTeX RDF
16	Alexandre M. Bayen, Eva Crück, Claire J. Tomlin	Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques.	HSCC	2002	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin	Viability kernels and capture basins of sets under differential inclusions.	CDC	2002	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin, Nicolas Seube	Conditional viability for impulse differential games.	CDC	2002	DBLP DOI BibTeX RDF
16	Y. Tsiatouhas, Th. Haniotakis, Dimitris Nikolos, Angela Arapoyanni	Extending the Viability of IDDQ Testing in the Deep Submicron Era.	ISQED	2002	DBLP DOI BibTeX RDF
16	Dawid Kurzyniec, Vaidy S. Sunderam, Mauro Migliardi	On the Viability of Component Frameworks for High Performance Distributed Computing: A Case Study.	HPDC	2002	DBLP DOI BibTeX RDF
16	Jon R. Neill	The political viability of a negative income tax.	Soc. Choice Welf.	2001	DBLP DOI BibTeX RDF
16	Faiza Behloul, Boudewijn P. F. Lelieveldt, Abdel-Ouahab Boudraa, Marc Janier, Didier Revel, Johan H. C. Reiber	Neuro-Fuzzy Systems for Computer-Aided Myocardial Viability Assessment.	IEEE Trans. Medical Imaging	2001	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin	Viability Kernels and Capture Basins of Sets Under Differential Inclusions.	SIAM J. Control. Optim.	2001	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin, John Lygeros, Marc Quincampoix, Shankar Sastry 0001, Nicolas Seube	Towards a viability theory of hybrid systems.	ECC	2001	DBLP DOI BibTeX RDF
16	Patrick Saint-Pierre	Approximation of viability kernels and capture basins for hybrid systems.	ECC	2001	DBLP DOI BibTeX RDF
16	Jean-Pierre Aubin, John Lygeros, Marc Quincampoix, Shankar Sastry 0001, Nicolas Seube	Viability and invariance kernels of impulse differential inclusions.	CDC	2001	DBLP DOI BibTeX RDF
16	Sandra G. Dykes, Kay A. Robbins	A Viability Analysis of Cooperative Proxy Caching.	INFOCOM	2001	DBLP DOI BibTeX RDF
16	Olivier Barreteau, François Bousquet	SHADOC: a multi-agent model to tackle viability of irrigated systems.	Ann. Oper. Res.	2000	DBLP DOI BibTeX RDF
16	Harlan L. Etheridge, Ram S. Sriram, Kathy H. Y. Hsu	A Comparison of Selected Artificial Neural Networks that Help Auditors Evaluate Client Financial Viability.	Decis. Sci.	2000	DBLP DOI BibTeX RDF
16	Mike Thelwall	Implications of Search Engine Coverage on the Viability of Business Web Sites.	ICEIS	2000	DBLP BibTeX RDF
16	Amy C. Hasegawa, Conrado M. Gempesaw II, William H. Daniels, Bernard R. Petrosky	Simulating the economic viability of crawfish production: a two-stage approach.	WSC	1999	DBLP DOI BibTeX RDF
16	Michael Heymann, Feng Lin, George Meyer	Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems.	Discret. Event Dyn. Syst.	1998	DBLP DOI BibTeX RDF
16	John C. McCarthy	The viability of modelling socially organised activity.	DSV-IS	1998	DBLP DOI BibTeX RDF
16	Hantak Kwak, Ben Lee, Ali R. Hurson	Viability of Multithreading on Networks of Workstations.	PaCT	1997	DBLP DOI BibTeX RDF
16	Martyn Amos, Alan Gibbons, Paul E. Dunne	The Complexity and Viability of DNA Computations.	BCEC	1997	DBLP BibTeX RDF
16	Julian Tirado-Rives, William L. Jorgensen	Viability of molecular modeling with pentium-based PCs.	J. Comput. Chem.	1996	DBLP DOI BibTeX RDF
16	Osama T. Albaharna, Peter Y. K. Cheung, Thomas J. Clarke	On the viability of FPGA-based integrated coprocessors.	FCCM	1996	DBLP DOI BibTeX RDF
16	Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis	Viability in Hybrid Systems.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	John Curran	Market Viability as a IPng Criteria.	RFC	1994	DBLP DOI BibTeX RDF
16	István Erényi, Z. Fazekas	Morphological evaluation of embryo viability.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
16	Jon Kieffer, Ramesh Bale	Walking Viability and Gait Synthesis for a Novel Class of Dynamically-Simple Bipeds.	Informatica (Slovenia)	1993	DBLP BibTeX RDF
16	James J. Lu, V. S. Subrahmanian	Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability.	J. Autom. Reason.	1993	DBLP DOI BibTeX RDF
16	J. Daniel Couger	Essential Element for Viability of I.S. Education: Improving our Creativity.	J. Inf. Syst. Educ.	1993	DBLP BibTeX RDF
16	Michel Renovell, Joan Figueras	Current Testing Viability in Dynamic CMOS Circuits.	DFT	1993	DBLP BibTeX RDF
16	Gene Saghi, Howard Jay Siegel, José A. B. Fortes	On the Viability of a Quantitative Model of System Reconfiguration Due to a Fault.	ICPP (1)	1992	DBLP BibTeX RDF
16	Sergio Gontijo Alvares	A computer aided assessment study on the viability of a solar powered single stage Aqua-Ammonia absorption: refrigeration system for milk cooling at remote brazilian diary farms.		1985	RDF
16	Jean-Pierre Aubin, Arrigo Cellina	Differential Inclusions - Set-Valued Maps and Viability Theory		1984	DOI RDF
16	Denis C. Onyekwelu	Technical Note - Computational Viability of a Constraint Aggregation Scheme for Integer Linear Programming Problems.	Oper. Res.	1983	DBLP DOI BibTeX RDF
16	Barry R. Borgerson	The Viability of Multimicroprocessor Systems.	Computer	1976	DBLP DOI BibTeX RDF
15	David Aveiro, António Rito Silva, José M. Tribolet	Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise.	SAC	2010	DBLP DOI BibTeX RDF	organizational self-awareness, function, exception, organizational change, organizational engineering
15	C. L. Stabler, Christopher Fraker, E. Pedraza, I. Constantinidis, A. Sambanis	Modeling and in vitro and in vivo characterization of a tissue engineered pancreatic substitute.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	Tissue construct modeling, Pancreatic substitute, Agarose, Encapsulated cells, ?TC3 insulinoma cells
15	Willem S. van Heerden, Andries P. Engelbrecht	HybridSOM: A generic rule extraction framework for self-organizing feature maps.	CIDM	2009	DBLP DOI BibTeX RDF
15	Jin-yi Cai, Vinod Yegneswaran, Chris Alfeld, Paul Barford	An Attacker-Defender Game for Honeynets.	COCOON	2009	DBLP DOI BibTeX RDF
15	Babak M. Ghaffari, Mehdi D. Matinfar, Jawad A. Salehi	Wireless optical CDMA LAN: digital design concepts.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
15	Liming Zhong, Shefang Ye, Yihui Wu, Qiqing Zhang	Heme Oxygenase Induction Confers Cellular Adaptive Response against Multi-walled Carbon Nanotubes-induced Cytotoxicity in A549 Cell.	BMEI (2)	2008	DBLP DOI BibTeX RDF	Multi-walled carbon nanotubes, Oxidative stress, Heme oxygenase
15	Heverton B. Macêdo, Marcelo J. L. Lima, Gina M. B. Oliveira	Searching for a Cryptographic Model Based on the Pre-Image Calculus of Cellular Automata.	SBRN	2008	DBLP DOI BibTeX RDF
15	José Luis Guerrero, Jesús García 0001	Domain Transformation for Uniform Motion Identification in Air Traffic Trajectories.	DCAI	2008	DBLP DOI BibTeX RDF
15	Pieter Collins	Optimal Semicomputable Approximations to Reachable and Invariant Sets.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
15	Eileen M. Trauth, Mike Reinert, Michael C. Zigner	A regional IT occupational partnership for economic development.	CPR	2007	DBLP DOI BibTeX RDF	IT labor force, cultural influences, information economy, information technology sectors, diversity, action research, IT workforce, IT professional, IT skills, economic development
15	Racha El-Berbari, Nadjia Kachenoura, Alban Redheuil, Isabelle Bloch, Élie Mousseaux, Frédérique Frouin	Using cine MR images to evaluate myocardial infarct transmurality on delayed enhancement images.	ISBI	2006	DBLP DOI BibTeX RDF
15	Seth Yang En Tan, Eng Soon Loh, Toon Tien Foo, Woon Shin Chong, Chum Mok Puah, Beng Siong Lim	A micro-fluidic level sensing and dispensing system for large-scale stem cell experimentations.	ETFA	2006	DBLP DOI BibTeX RDF
15	Markus Jakobsson	Modeling and Preventing Phishing Attacks.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
15	Muhammad Ali Babar 0001, Barbara A. Kitchenham, Liming Zhu 0001, D. Ross Jeffery	An Exploratory Study of Groupware Support for Distributed Software Architecture Evaluation Process.	APSEC	2004	DBLP DOI BibTeX RDF
15	Steve Racunas, Nigam Shah, Nina V. Fedoroff	A Contradiction-Based Framework for Testing Gene Regulation Hypotheses.	CSB	2003	DBLP DOI BibTeX RDF
15	Danai Patiyoot	Migration / Evolution of security towards wireless ATM.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF
15	Patrick Saint-Pierre	Evaluation of Crisis, Reversibility, Alert Management for Constrained Dynamical Systems Using Impulse Dynamical Systems.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
15	Timo Mäkelä, Patrick Clarysse, Jyrki Lötjönen, Outi Sipilä, Kirsi Lauerma, Helena Hänninen, Esa-Pekka Pyökkimies, Jukka Nenonen, Juhani Knuuti, Toivo Katila, Isabelle E. Magnin	A New Method for the Registration of Cardiac PET and MR Images Using Deformable Model Based Segmentation of the Main Thorax Structures.	MICCAI	2001	DBLP DOI BibTeX RDF
15	John B. McKee	Computer User Manuals in Print: Do They Have a Future?	SIGDOC	1985	DBLP DOI BibTeX RDF
7	Thomas Schmid 0002, Prabal Dutta, Mani B. Srivastava	High-resolution, low-power time synchronization an oxymoron no more.	IPSN	2010	DBLP DOI BibTeX RDF	virtual high-resolution time, low-power, clocks, time synchronization
7	David M. Eyers, Luis Vargas, Jatinder Singh, Ken Moody, Jean Bacon	Relational database support for event-based middleware functionality.	DEBS	2010	DBLP DOI BibTeX RDF	database, publish/subscribe, queues
7	Alessandro Colantonio, Roberto Di Pietro, Alberto Ocello, Nino Vincenzo Verde	ABBA: adaptive bicluster-based approach to impute missing values in binary matrices.	SAC	2010	DBLP DOI BibTeX RDF	pseudo-biclusters, missing values, binary matrix
7	Cristina Ribeiro 0002, Alexander Ferworn	Computational public safety in emergency management communications.	IWCMC	2010	DBLP DOI BibTeX RDF	canine pose estimation, emergency management computational public safety, wireless mesh netwroks, Bluetooth, wi-fi, urban search and rescue
7	Nicoleta Preda, Gjergji Kasneci, Fabian M. Suchanek, Thomas Neumann 0001, Wenjun Yuan, Gerhard Weikum	Active knowledge: dynamically enriching RDF knowledge bases by web services.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	binding patterns, query mediation, semantics, knowledge bases, information integration, rdf, warehousing
7	Mehdi Adda, Petko Valtchev, Rokia Missaoui, Chabane Djeraba	A framework for mining meaningful usage patterns within a semantically enhanced web portal.	C3S2E	2010	DBLP DOI BibTeX RDF	web adaptation, ontologies, sequential pattern mining
7	Anna Cavender, Daniel S. Otero, Jeffrey P. Bigham, Richard E. Ladner	Asl-stem forum: enabling sign language to grow through online collaboration.	CHI	2010	DBLP DOI BibTeX RDF	video, stem, deaf, american sign language, forum
7	Jeffrey Heer, Michael Bostock	Crowdsourcing graphical perception: using mechanical turk to assess visualization design.	CHI	2010	DBLP DOI BibTeX RDF	graphical perception, evaluation, information visualization, user study, experimentation, crowdsourcing, mechanical turk
7	Raghu K. Ganti, Nam Pham, Hossein Ahmadi 0001, Saurabh Nangia, Tarek F. Abdelzaher	GreenGPS: a participatory sensing fuel-efficient maps application.	MobiSys	2010	DBLP DOI BibTeX RDF	green GPS, green navigation, model clustering, participatory sensing
7	Michael Moeng, Rami G. Melhem	Applying statistical machine learning to multicore voltage & frequency scaling.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	decision tree, power management, multicore
7	Frank Salger, Gregor Engels, Alexander Hofmann	Assessments in global software development: a tailorable framework for industrial projects.	ICSE (2)	2010	DBLP DOI BibTeX RDF	assessment, global software development
7	Vitaly Chipounov, George Candea	Reverse engineering of binary device drivers with RevNIC.	EuroSys	2010	DBLP DOI BibTeX RDF	closed-source, proprietary software, reverse engineering, device drivers, binary
7	Qing Zhang 0012, John McCullough, Justin Ma, Nabil Schear, Michael Vrable, Amin Vahdat, Alex C. Snoeren, Geoffrey M. Voelker, Stefan Savage	Neon: system support for derived data management.	VEE	2010	DBLP DOI BibTeX RDF	difc, memory tainting, qemu, virtualization, xen
7	Robert D. Miller, Wade Trappe	Subverting MIMO wireless systems by jamming the channel estimation procedure.	WISEC	2010	DBLP DOI BibTeX RDF	denial of service, jamming, mimo
7	Zhenhua Liu 0005, Wenyuan Xu	Zeroing-in on network metric minima for sink location determination.	WISEC	2010	DBLP DOI BibTeX RDF	sink location privacy, sensor networks
7	T. Joseph Lui	Automation in Home Appliances.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
7	Mohammed M. Olama, Seddik M. Djouadi, Charalambos D. Charalambous	Stochastic differential equations for modeling, estimation and identification of mobile-to-mobile communication channels.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
7	Abbas Jamalipour, M. Rubaiyat Kibria	Game theoretic outage compensation in next generation mobile networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
7	Peter Quax, Bart Cornelissen, Jeroen Dierckx, Gert Vansichem, Wim Lamotte	ALVIC-NG: state management and immersive communication for massively multiplayer online games and communities.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Communication, Scalability, Networked virtual environments, Conferencing
7	Julie Doyle, Herna L. Viktor, Eric Paquet	Long-term digital preservation: preserving authenticity and usability of 3-D data.	Int. J. Digit. Libr.	2009	DBLP DOI BibTeX RDF	Metadata, Framework, Emulation, Long-term preservation
7	Thomi Pilioura, Aphrodite Tsalgatidou	Unified publication and discovery of semantic Web services.	ACM Trans. Web	2009	DBLP DOI BibTeX RDF	PYRAMID-S, Web service publication, unified, evaluation, scalable, semantic Web services, Web service discovery
7	Wenbin Zhu, Patrick G. Bridges, Arthur B. Maccabe	Lightweight Online Performance Monitoring and Tuning with Embedded Gossip.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
7	Andreas Humm, Jean Hennebert, Rolf Ingold	Combined Handwriting and Speech Modalities for User Authentication.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
7	David Déharbe, Silvio Ranise	Satisfiability solving for software verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Equational theorem proving, Boolean solving, Theory reasoning, Software verification
7	Suleyman Serdar Kozat, Michail Vlachos, Claudio Lucchese, Helga Van Herle, Philip S. Yu	Embedding and Retrieving Private Metadata in Electrocardiograms.	J. Medical Syst.	2009	DBLP DOI BibTeX RDF	ECG, Fragile watermark, Robust watermark
7	Xiaobing Feng 0001, Michael Neilan	Vanishing Moment Method and Moment Solutions for Fully Nonlinear Second Order Partial Differential Equations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Fully nonlinear PDEs, Monge-Ampère type equations, Moment solutions, Vanishing moment method, Mixed finite element method, Spectral and discontinuous Galerkin methods, Finite element method, Viscosity solutions
7	Nguyen Thien Hoang, Hoang Duong Tuan, Truong Q. Nguyen, Hung Gia Hoang	Optimized Analog Filter Designs With Flat Responses by Semidefinite Programming.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
7	Philippe Beaucamps	Extended recursion-based formalization of virus mutation.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
7	Yingying Chen 0001, Konstantinos Kleisouris, Xiaoyan Li, Wade Trappe, Richard P. Martin	A security and robustness performance analysis of localization algorithms to signal strength attacks.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	signal strength attacks, sensor networks, Localization, robustness, susceptibility
7	Geoffrey Fudenberg, Liam Paninski	Bayesian Image Recovery for Dendritic Structures Under Low Signal-to-Noise Conditions.	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
7	Muhammad Rashid, Bernard Pottier	Application Capturing and Performance Estimation in an Holistic Design Environment.	ECBS	2009	DBLP DOI BibTeX RDF
7	Paul Murphy, Brian Donnellan	Lesson Learnt from an Agile Implementation Project.	XP	2009	DBLP DOI BibTeX RDF	Collaboration, Communication
7	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	CCS	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
7	Fei Yan, Philip W. L. Fong	Efficient IRM enforcement of history-based access control policies.	AsiaCCS	2009	DBLP DOI BibTeX RDF	distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors