Search results for "e-Inclusion"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP (2)	2009	DBLP DOI BibTeX RDF
12	Dominik D. Freydenberger, Daniel Reidenbach	Existence and Nonexistence of Descriptive Patterns.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
12	John U. Duselis, Isaac D. Scherson	Concurrent adaptive computing in heterogeneous environments (CACHE).	IPDPS	2009	DBLP DOI BibTeX RDF
12	David Baelde	On the Proof Theory of Regular Fixed Points.	TABLEAUX	2009	DBLP DOI BibTeX RDF
12	Md. Sumon Shahriar, Jixue Liu	Checking Satisfactions of XML Referential Integrity Constraints.	AMT	2009	DBLP DOI BibTeX RDF
12	Özlem Albayrak	An experiment to observe the impact of UML diagrams on the effectiveness of software requirements inspections.	ESEM	2009	DBLP DOI BibTeX RDF
12	Colin J. Ihrig, Gerold Joseph Dhanabalan, Alex K. Jones	A low-power CMOS thyristor based delay element with programmability extensions.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	delay element, thyristor, low power
12	Daniel Ramage, Paul Heymann, Christopher D. Manning, Hector Garcia-Molina	Clustering the tagged web.	WSDM	2009	DBLP DOI BibTeX RDF
12	George J. Pappas	Approximations of Discrete, Continuous, and Hybrid Systems.	FORMATS	2009	DBLP DOI BibTeX RDF
12	Rodrigo Bonacin, Maria Cecília Calani Baranauskas, Marcos Antônio Rodrigues	An Agile Process Model for Inclusive Software Development.	ICEIS	2009	DBLP DOI BibTeX RDF	Accessibility, Agile Methods, Organizational Semiotics
12	David Toman 0001, Grant E. Weddell	On Keys and Functional Dependencies as First-Class Citizens in Description Logics.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Path-functional dependency, Relational keys, Description logics
12	Dana Elena Ilea, Paul F. Whelan	CTex - An Adaptive Unsupervised Segmentation Algorithm Based on Color-Texture Coherence.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
12	Didier Dubois, Henri Prade	A Set-Theoretic View of Belief Functions.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF	Theory of evidence, Knowledge representation, Fuzzy set, Possibility measure
12	Iván González-Díaz 0001, Kevin McGuinness, Tomasz Adamek, Noel E. O'Connor, Fernando Díaz-de-María	Incorporating spatio-temporal mid-level features in a region segmentation algorithm for video sequences.	ICIP	2008	DBLP DOI BibTeX RDF
12	Pierre Colomb, Olivier Raynaud, Eric Thierry	Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies.	MCO	2008	DBLP DOI BibTeX RDF
12	Nobusumi Sagara	Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.	MCO	2008	DBLP DOI BibTeX RDF	Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function
12	Francisco Flórez-Revuelta, José Manuel Casado-Díaz, Lucas Martínez-Bernabeu, Raúl Gómez-Hernández	A Memetic Algorithm for the Delineation of Local Labour Markets.	PPSN	2008	DBLP DOI BibTeX RDF	zone design, evolutionary computation, combinatorial optimization, memetic algorithm, regionalization
12	Md. Jayedur Rashid, Mathias Broxvall, Alessandro Saffiotti	Digital representation of everyday objects in a robot ecology via proxies.	IROS	2008	DBLP DOI BibTeX RDF
12	Martin F. van Bommel, Ping Wang 0023	Hierarchy Encoding with Multiple Genes.	DEXA	2008	DBLP DOI BibTeX RDF
12	Françoise Decortis, Laura Lentini	Semiotics artifacts, space and community: a case study on pinholes.	IDC	2008	DBLP DOI BibTeX RDF	physical and virtual spaces, pinholes, semiotic artifact, sense of community
12	Zhu Liu 0001, Eric Zavesky, Behzad Shahraray, David C. Gibbon, Andrea Basso 0001	Brief and high-interest video summary generation: evaluating the AT&T labs rushes summarizations.	TVS	2008	DBLP DOI BibTeX RDF	content-based sampling, miracle, subshot, video summarization, salience
12	Devendra Potnis, Theresa A. Pardo	Evolution of readiness indicators.	ICEGOV	2008	DBLP DOI BibTeX RDF	United Nations, e-government readiness index, benchmarking, e-participation
12	Grigori E. Evreinov	Skills vs. Abilities.	ICCHP	2008	DBLP DOI BibTeX RDF
12	Andreas Brandstädt, Peter Wagner 0002	On k-Versus (k+1)-Leaf Powers.	COCOA	2008	DBLP DOI BibTeX RDF	k-leaf powers, intersection of leaf power classes, comparability of leaf power classes
12	Jan A. Bergstra, Inge Bethke, Alban Ponse	Decision problems for pushdown threads.	Acta Informatica	2007	DBLP DOI BibTeX RDF
12	Anna Gomolinska	A Comparison of Pawlak's and Skowron-Stepaniuk's Approximation of Concepts.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
12	Michael Dewar, Visakan Kadirkamanathan	A Canonical Space-Time State Space Model: State and Parameter Estimation.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
12	Charu C. Aggarwal	On Randomization, Public Information and the Curse of Dimensionality.	ICDE	2007	DBLP DOI BibTeX RDF
12	Karl W. Sandberg, Yan Pan	The Role of Human Factors in Design and Implementation of Electronic Public Information Systems.	HCI (13)	2007	DBLP DOI BibTeX RDF	Human Factors (HF), Electronic Public Information Systems (e-PIS), Design and Implementation
12	Sebastiano Bagnara, Angelo Failla	From Handicap to Diversity.	HCI (5)	2007	DBLP DOI BibTeX RDF
12	Gerald Lüttgen, Walter Vogler	Ready Simulation for Concurrency: It's Logical!	ICALP	2007	DBLP DOI BibTeX RDF
12	Jim Kleban, Anindya Sarkar, Emily Moxley, Stephen Mangiat, Swapna Joshi, Thomas Kuo, B. S. Manjunath	Feature fusion and redundancy pruning for rush video summarization.	TVS	2007	DBLP DOI BibTeX RDF	SIFT-based object detection, video summarization, dynamic time warping, feature fusion
12	Pavel Klinov, Lawrence J. Mazlack	Interval Rough Mereology for Approximating Hierarchical Knowledge.	RSFDGrC	2007	DBLP DOI BibTeX RDF
12	Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang	Application of uncertainty reasoning theory to satellite fault detection and diagnosis.	SMC	2007	DBLP DOI BibTeX RDF
12	Ben Hardekopf, Calvin Lin	Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.	SAS	2007	DBLP DOI BibTeX RDF
12	Dario Antonelli, Nicola Pasquino, Agostino Villa	Mass-Customized Production in a SME Network.	APMS	2007	DBLP DOI BibTeX RDF	post-ponement, order fulfilment, mass customisation
12	Al Cripps, Nghiep Nguyen	Fuzzy Lattice Neurocomputing Using Weighted Cosine Similarity Measure.	IJCNN	2007	DBLP DOI BibTeX RDF
12	Anthony Savidis, Dimitris Grammenos, Constantine Stephanidis	Developing inclusive e-learning systems.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF	Inclusive e-learning, Accessible training applications, Learner-adapted courseware, Universally accessible computer games
12	Stephen J. Hegner	The complexity of embedded axiomatization for a class of closed database views.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	complexity, database, view
12	Hisao Ishibuchi, Takashi Yamamoto, Tomoharu Nakashima	An approach to fuzzy default reasoning for function approximation.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy number-valued function, Fuzzy modeling, Fuzzy reasoning, Genetics-based machine learning, Default reasoning
12	Ilan Adler, Richard W. Cottle, Sushil Verma	Sufficient matrices belong to L.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C33, 15A99, 65K10
12	Aggelos Kiayias, Antonina Mitrofanova	Syntax-Driven Private Evaluation of Quantified Membership Queries.	ACNS	2006	DBLP DOI BibTeX RDF
12	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon	SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
12	Pilar Manchón Portillo, Guillermo Pérez García, Gabriel Amores Carredano	Multimodal fusion: a new hybrid strategy for dialogue systems.	ICMI	2006	DBLP DOI BibTeX RDF	NLP, multimodal fusion, dialogue systems
12	Riccardo Rosati 0001	On the decidability and finite controllability of query processing in databases with incomplete information.	PODS	2006	DBLP DOI BibTeX RDF
12	David Toman 0001, Grant E. Weddell	On Keys and Functional Dependencies as First-Class Citizens in Description Logics.	IJCAR	2006	DBLP DOI BibTeX RDF
12	Mario Batusic, Andrea Gaal, Joachim Klaus, Mary O'Grady	An IT Training Programme for Blind Computer Users - Presentation and Discussion of Didactic and Teletutorial Implications.	ICCHP	2006	DBLP DOI BibTeX RDF
12	Eva Patrícia Gil Rodríguez, Muriel Garreta Domingo, Jordi Planella Ribera, Magí Almirall Hill, Llorenç Sabaté Jardí	Usability for All: Towards Improving the E-Learning Experience for Visually Impaired Users.	ICCHP	2006	DBLP DOI BibTeX RDF
12	Masoud Asadpour, Majid Nili Ahmadabadi, Roland Siegwart	Reduction of Learning Time for Robots Using Automatic State Abstraction.	EUROS	2006	DBLP DOI BibTeX RDF	State Abstraction, Hierarchical Reinforcement Learning
12	Mourad Ahmane, Laurent Truffet	State Feedback Control via Positive Invariance for Max-plus Linear Systems using *-algorithm.	ETFA	2006	DBLP DOI BibTeX RDF
12	Siva Embanath, Ramakrishnan Venkata	Exceptional ASIC: Through Automatic Timing Exception Generation (ATEG).	VLSI Design	2006	DBLP DOI BibTeX RDF
12	Jim Challenger, Paul Dantzig, Arun Iyengar, Karen Witting	A fragment-based approach for efficiently creating dynamic web content.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Caching, Web, fragments, publishing, dynamic content, Web performance
12	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Perturbed Timed Automata.	HSCC	2005	DBLP DOI BibTeX RDF
12	Danjun Zhu, Boqin Feng, Tao Guan	Rough Sets and Decision Rules in Fuzzy Set-Valued Information Systems.	MICAI	2005	DBLP DOI BibTeX RDF
12	Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti	Using parse tree validation to prevent SQL injection attacks.	SEM	2005	DBLP DOI BibTeX RDF
12	Victor K. Y. Chan, W. Eric Wong	Optimizing and Simplifying Software Metric Models Constructed Using Maximum Likelihood Methods.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	modeling, software metrics, maximum likelihood method
12	Andreas Koeller, Vinay Keelara	Approximate matching of textual domain attributes for information source integration.	IQIS	2005	DBLP DOI BibTeX RDF
12	Bryant A. Julstrom	Greedy, genetic, and greedy genetic algorithms for the quadratic knapsack problem.	GECCO	2005	DBLP DOI BibTeX RDF	greedy operators, quadratic knapsack problem, genetic algorithms
12	Nachum Dershowitz, E. Castedo Ellerman	Leanest Quasi-orderings.	RTA	2005	DBLP DOI BibTeX RDF
12	Andreas Stolcke, Xavier Anguera, Kofi Boakye, Özgür Çetin, Frantisek Grézl, Adam Janin, Arindam Mandal, Barbara Peskin, Chuck Wooters, Jing Zheng	Further Progress in Meeting Recognition: The ICSI-SRI Spring 2005 Speech-to-Text Evaluation System.	MLMI	2005	DBLP DOI BibTeX RDF
12	Hannes Leitgeb, Alexander Hieke	Circular Languages.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	non-well-founded sets, application, syntax, paradox, circularity
12	Gregory W. Edwards, Woodrow Barfield, Maury A. Nussbaum	The use of force feedback and auditory cues for performance of an assembly task in an immersive virtual environment.	Virtual Real.	2004	DBLP DOI BibTeX RDF	Auditory cues, Virtual environment, Haptics, Force Feedback, Gender differences
12	Alexandre Termier, Marie-Christine Rousset, Michèle Sebag	DRYADE: A New Approach for Discovering Closed Frequent Trees in Heterogeneous Tree Databases.	ICDM	2004	DBLP DOI BibTeX RDF
12	Ronald J. Kohl	AIAA (Draft) Guidebook "Managing the Use of Commercial Off-the-Shelf (COTS) Software Components for Mission Critical Systems".	ICCBSS	2004	DBLP DOI BibTeX RDF
12	Tracy Ross, Andrew J. May, Simon Thompson	The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context.	Mobile HCI	2004	DBLP DOI BibTeX RDF
12	Mukesh A. Zaveri, Shabbir N. Merchant, Uday B. Desai	Tracking multiple point targets using genetic interacting multiple model based algorithm.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
12	Joan Manuel Marquès, Leandro Navarro 0001, Thanasis Daradoumis	Extending the Scope of Asynchronous Collaboration: A Matter of Being Autonomous and Self-Sufficient.	WETICE	2004	DBLP DOI BibTeX RDF	collaborative infrastructures, peer-to-peer collaborative systems, peer-to-peer middleware
12	Lech Polkowski	A Survey of Recent Results on Spatial Reasoning via Rough Inclusions.	IMTCI	2004	DBLP DOI BibTeX RDF
12	Andrea Calì, Domenico Lembo, Riccardo Rosati 0001	On the decidability and complexity of query answering over inconsistent and incomplete databases.	PODS	2003	DBLP DOI BibTeX RDF
12	E. James Whitehead Jr., Dorrit Gordon	Uniform Comparison of Configuration Management Data Models.	SCM	2003	DBLP DOI BibTeX RDF
12	Mohammed Ahmed Muharram, George D. Smith	The Effect of Evolved Attributes on Classification Algorithms.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Evolutionary algorithms, Knowledge discovery and Data Mining
12	Dongwon Lee 0001, Murali Mani, Frank Chiu, Wesley W. Chu	NeT & CoT: translating relational schemas to XML schemas using semantic constraints.	CIKM	2002	DBLP DOI BibTeX RDF	XML, semantic constraints, schema translation
12	Stephen Hunt, J. Geoffrey Chase, Luciana R. Barroso	The impact of time varying equilibrium location in the semi-active control of non-linear seismically excited structures.	ICARCV	2002	DBLP DOI BibTeX RDF
12	Rita Cucchiara, Costantino Grana, Andrea Prati 0001, Stefania Seidenari, Giovanni Pellacani	Building the Topological Tree by Recursive FCM Color Clustering.	ICPR (1)	2002	DBLP DOI BibTeX RDF
12	Andréa Vergara da Silva, Daniel Santana de Freitas	Wavelet-Based Compared to Function-Based On-Line Signature Verification.	SIBGRAPI	2002	DBLP DOI BibTeX RDF
12	Yu Feng 0010, Heather J. Ruskin, Bao Zhu	Virtual Phase Dynamics for Constrained Geometries in a Soap Froth.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF	defect ring, phase dynamics, constrained geometries, transience, persistence
12	Chi-Hung Chi, Chen (Cherie) Ding, Kwok-Yan Lam	Context Query in Information Retrieval.	ICTAI	2002	DBLP DOI BibTeX RDF
12	Dani Halevy, Adi Shamir	The LSD Broadcast Encryption Scheme.	CRYPTO	2002	DBLP DOI BibTeX RDF
12	Pong-Sik Ho, Min-Hwan Kim	A Hierarchical Scheme for Representing Curves without Self-Intersections.	CVPR (2)	2001	DBLP DOI BibTeX RDF
12	Bernd Amann, Irini Fundulaki, Michel Scholl	Integrating ontologies and thesauri for RDF schema creation and metadata querying.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Metadata querying, Ontologies, Mediation, Domain model, Thesauri
12	Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Xiaobo Sharon Hu	Efficient design exploration based on module utility selection.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
12	Joachim Grabowski	Ein psychologisch-onomasiologischer Ansatz zur Auffassung raeumlicher Objektrelationen und ihrem sprachlichen Ausdruck: Inklusion und Kontakt.	Kognitionswissenschaft	2000	DBLP DOI BibTeX RDF
12	Mark B. Skouson, Zhi-Pei Liang	Template Deformation Constrained by Shape Priors.	CVPR	2000	DBLP DOI BibTeX RDF
12	Vassilios Petridis, Vassilis G. Kaburlasos	Fuzzy lattice neural network (FLNN): a hybrid model for learning.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
12	Satoshi Yamane	A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
12	Lynn Wilcox, John S. Boreczky	Annotation and Segmentation for Multimedia Indexing and Retrieval.	HICSS (2)	1998	DBLP DOI BibTeX RDF
12	Ali Amaniss, Miki Hermann, Denis Lugiez	Set Operations for Recurrent Term Schematizations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
12	Keith I. Farkas, Paul Chow, Norman P. Jouppi, Zvonko G. Vranesic	Memory-System Design Considerations for Dynamically-Scheduled Processors.	ISCA	1997	DBLP DOI BibTeX RDF
12	Fritz Lehmann, Rudolf Wille	A Triadic Approach to Formal Concept Analysis.	ICCS	1995	DBLP DOI BibTeX RDF
12	Joaquin Vila, Barbara Beccue	Effect of visualization on the decision maker when using analytic hierarchy process.	HICSS (4)	1995	DBLP DOI BibTeX RDF	consistency sensitivity, speech pathology, speaker intelligibility, control group, full motion video, visualization, decision support systems, statistical analysis, statistical analysis, audio, multimedia systems, analytic hierarchy process, multimedia application, stress, hierarchical representation, interactive video, rate, articulation, visual cues, decision maker, intonation, speech intelligibility
12	Panagiotis Takis Metaxas, Grammati E. Pantziou, Antonios Symvonis	Parallel h-v Drawings of Binary Trees.	ISAAC	1994	DBLP DOI BibTeX RDF
12	Atsushi Ohori, Keishi Tajima	A Polymorphic Calculus for Views and Object Sharing.	PODS	1994	DBLP DOI BibTeX RDF
12	Gerard Ellis, Fritz Lehmann	Exploiting the Induced Order on Type-Labeled Graphs for Fast Knowledge Retrieval.	ICCS	1994	DBLP DOI BibTeX RDF	type lattice, bit string, skeleton product, fret product, order theory, information retrieval, encoding, knowledge base, deductive database, conceptual graphs, poset, graph database, subsumption, subgraph isomorphism
12	Ioan I. Macarie	Space-Efficient Deterministic Simulation of Probabilistic Automata (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF
12	Jordi Levy, Jaume Agustí-Cullell	Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations.	RTA	1993	DBLP DOI BibTeX RDF
12	Senthil Krishnamoorthy, Alok N. Choudhary	An Evaluation of Set-Associativity in Two-Level Caches for Shared Memory Multiprocessors.	PARLE	1992	DBLP DOI BibTeX RDF
12	Frits W. Vaandrager, Nancy A. Lynch	Action Transducers and Timed Automata.	CONCUR	1992	DBLP DOI BibTeX RDF
12	Giorgio Ghelli	A Class Abstraction for a Hierarchical Type System.	ICDT	1990	DBLP DOI BibTeX RDF
12	Didier Rémy	Typechecking Records and Variants in a Natural Extension of ML.	POPL	1989	DBLP DOI BibTeX RDF	ML