Search results for "FORTH"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Tomasz Janowski	Distributed production with specification-generated processes.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Ana Maria Madureira, Carlos Ramos 0001, Sílvio do Carmo Silva	A genetic algorithm for the dynamic single machine scheduling problem.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Ricardo J. Rabelo, Alexandra A. Pereira Klen, Aureo Campos Ferreira	For a smart coordination of distributed business processes.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Luigi R. Canali, Mario R. Modesti, Eduardo A. Destéfanis	CNC machine ruled surface interpolation: A neural network approach for cheap processing.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Heinz-Hermann Erbe	Learning process in networked enterprises.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Brahim Bouzouia, Y. Hafri, T. Boudellal	Autonomous multi-agents architecture for control of manufacturing systems.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Christopher M. Schlick, R. Reuth, Holger Luczak	Virtual reality user interface for autonomous production.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Joel R. Pinto, Cícero C. Moraes, Augusto F. Brandão Jr.	Electrical energy conservation in a commercial building with systems automation.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Petr Becvár, Ludek Müller	Various approaches in classification of technical processes.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	T. Litzinger, James A. Wise	E-Commerce: The virtual battlefield.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Josef F. Krems, Andreas Keinath, Martin R. K. Baumann, Christhard Gelau, Klaus Bengler	Evaluating visual display designs in vehicles: Advantages and disadvantages of the occlusion technique.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	César Garita, Hamideh Afsarmanesh, Yasemin Ugur, Louis O. Hertzberger	Federated query processing for distributed process coordniation in virtual enterprises.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Kiyoko Yokoyama, Hiroko Hidaka, Yoko Miura, Yasufumi Mizuno	Human interface for heart rate control during bicycle ergometer exerise.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Mikko Sallinen, Tapio Heikkilä	A simple hand-eye calibration method for a 3D laser range sensor.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	M. Flóres, Arturo Molina	Virtual industry clusters: Foundation to create virtual enterprises.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Spyros G. Tzafestas, Thanassis E. Krikochoritis, A. Melfi	Modeling and control of an omnidirectional mobile robot.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	T. Goletz, João José Pinto Ferreira	Enacting dynamic distributed networks - The damascos project.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	H. P. Moruzzi, G. D. Tripodi	Multimodelling and simulation: The first step in the implementation of an automation project in a SME.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Thierry Coudert, Bernard Grabot, Bernard Archimède	Integration of maintenance constraints in scheduling: Fuzzy modelling and multi-agent approach.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Luis M. Camarinha-Matos, Celson Pantoja-Lima	Supporting business process management and coordination in a virtual enterprise.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Jairo Eduardo Moraes Siqueira, Carlos Frederico Bremer	A method for identifying and evaluating core competencies' constituent skills for virtual industry clusters.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	R. M. Jung, H.-P. Willumeit	Objective evaluation of the complexity of usage for car infotainment systems.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	H. Löh, Thomas Manfred Rupp, Mihailo Ristic	System architectures for manufacturing co-ordination in complex supply networks.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Florian Golm, Alexander V. Smirnov 0001	Virtual production network configuration: ACS-Approach and tools.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Jarogniew Rykowski	Using multiversion web servers for data-based synchronization of cooperative work.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Grégoire Pépiot, Rémy Glardon, Michel Pouly	Multi-agent systems and enterprise modeling.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	A. Dumolard, Michel Pouly, Rémy Glardon	Economic evaluation of delays reduction: A global approach.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Toshiya Kaihara	Multi-agent based supply chain management with market emergence phenomenon.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Dietrich Brandt, Alexandra Blum, Alexander Woyke	Balancing automation and human work in environment oriented student projects.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Walter Vieira, Luis M. Camarinha-Matos	Adaptive mobile agents: Enhanced flexibility in internet-based remote operation.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Wolfram Wöß	Integrated product data management based on a uniform user interface.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	G. Schaub	An internet solution for virtual enterprises based on an object-oriented real-time database.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	Martin Dzbor, Ján Paralic, Marek Paralic	Knowledge management in a distributed organisation.	Advanced Network Enterprises	2000	DBLP BibTeX RDF
20	John Sadler	Ficl, FORML & Object Forth.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF
20	Paul Frenger	Forth in Space, or, So NEAR Yet So Far Out.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
20	David Pearce 0001	Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
20	Reuben R. Thomas	An Introduction to the Beetle Forth Virtual Processor.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
20	Paolo Atzeni, Giansalvatore Mecca, Paolo Merialdo	Semistructured und Structured Data in the Web: Going Back and Forth.	SIGMOD Rec.	1997	DBLP DOI BibTeX RDF	Internet
20	Igor V. Tarasyuk	Back-Forth Equivalences for Design of Concurrent Systems.	LFCS	1997	DBLP DOI BibTeX RDF
20	Leonard Zettel	Toward an Object-Oriented Forth.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
20	Jean-Pierre Reveillès, Denis Richard	Back and Forth between Continuous and Discrete for the Working Computer Scientist.	Ann. Math. Artif. Intell.	1996	DBLP DOI BibTeX RDF
20	Philippe Aigrain, Wendy Hall 0001, Thomas D. C. Little, V. Michael Bove Jr. (eds.)	Proceedings of the Forth ACM International Conference on Multimedia '96, Boston, MA, USA, November 18-22, 1996.	ACM Multimedia	1996	DBLP BibTeX RDF
20		Proceedings of the Forth International Workshop on Hardware/Software Codesign, CODES 1996, Pittsburgh, PA, USA, March 18-20, 1996	CODES	1996	DBLP BibTeX RDF
20	Jefferson Han, Brian C. Smith	CU-SeeMe VR Immersive Desktop Teleconferencing.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Yuzuru Tanaka	Meme Media and a World-Wide Meme Pool.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	David K. Y. Yau, Simon S. Lam	Adaptive Rate-Controlled Scheduling for Multimedia Applications.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	K. Selçuk Candan, B. Prabhakaran 0001, V. S. Subrahmanian	CHIMP: A Framework for Supporting Distributed Multimedia Document Authoring and Presentation.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Lei Tang	Methods for Encrypting and Decrypting MPEG Video Data Efficiently.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Albert L. Papp III, Meera Blattner	Dynamic Presentation of Asynchronous Auditory Output.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Gregory D. Abowd, Christopher G. Atkeson, Ami Feinstein, Cindy E. Hmelo, Rob Kooper, Sue Long, Nitin "Nick" Sawhney, Mikiya Tani	Teaching and Learning as Multimedia Authoring: The Classroom 2000 Project.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Mukesh Dalal, Steven Feiner, Kathleen R. McKeown, Shimei Pan, Michelle X. Zhou, Tobias Höllerer, James Shaw, Yong Feng, Jeanne Fromer	Negotiation for Automated Generation of Temporal Multimedia Presentations.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	T. H. Reeves, John A. Robinson	Adaptive Foveation of MPEG Video.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Greg Pass, Ramin Zabih, Justin Miller	Comparing Images Using Color Coherence Vectors.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Tat-Seng Chua, Jiandong Li, Beng Chin Ooi, Kian-Lee Tan	Disk Striping Strategies for Large Video-on-Demand Servers.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	John R. Smith, Shih-Fu Chang	VisualSEEk: A Fully Automated Content-Based Image Query System.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Stacie Hibino, Elke A. Rundensteiner	MMVIS: Design and Implementation of a Multimedia Visual Information Seeking Environment.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Michael Vernick, Chitra Venkatramani, Tzi-cker Chiueh	Adventures in Building the Stony Brook Video Server.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Andrew T. Campbell, Geoff Coulson	A QoS Adaptive Transport System: Design, Implementation and Experience.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Ariel Cohen 0003, Walter A. Burkhard	Segmented Information Dispersal (SID) for Efficient Reconstruction in Fault-Tolerant Video Servers.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Silvia Pfeiffer, Stephan Fischer 0001, Wolfgang Effelsberg	Automatic Audio Content Analysis.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Sylvain Fraïssé, Jocelyne Nanard, Marc Nanard	Generating Hypermedia from Specifications by Sketching Multimedia Templates.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Jiying Zhao, Yoshihisa Shimazu, Koji Ohta, Rina Hayasaka, Yutaka Matsushita	A JPEG Codec Adaptive to Region Importance.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Brian Neil Levine, David B. Lavo, J. J. Garcia-Luna-Aceves	The Case for Reliable Concurrent Multicasting Using Shared Ack Trees.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Ferdinando Samaria, Harold Syfrig, Alan Jones, Andy Hopper	Enhancing Network Services through Multimedia Data Analysers.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Masaki Hayashi, Kazuo Fukui, Yasumasa Itoh	Image Compositing System Capable of Long-Range Camera Movement.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Hisashi Aoki, Shigeyoshi Shimotsuji, Osamu Hori	A Shot Classification Method to Select Effective Key-Frames for Video Browsing.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Rainer Lienhart	Automatic Text Recognition for Video Indexing.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Steve Mann 0001	"Smart clothing": Wearable Multimedia Computing and "Personal Imaging" to Restore the Technological Balance Between People and Their Environments.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Mark Claypool, John Riedl	A Quality Planning Model for Distributed Multimedia in the Virtual Cockpit.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Wenjun Zeng, Bede Liu	Rate Shaping by Block Dropping for Transmission of MPEG-Precoded Video over Channels of Dynamic Bandwidth.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Ronald Baecker, Alan J. Rosenthal, Naomi Friedlander, Eric Smith, Andrew Cohen	A Multimedia System for Authoring Motion Pictures.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Haakon Bryhni, Hilde Lovett, Erling Maartmann-Moe, Dag Solvoll, Tryggve Sørensen	On-Demand Regional Television over the Internet.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Jean-Pierre Courtiat, Roberto C. de Oliveira	Proving Temporal Consistency in a New Multimedia Synchronization Model.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Komei Harada, Eiichiro Tanaka, Ryuichi Ogawa, Yoshinori Hara	Anecdote: A Multimedia Storyboarding System with Seamless Authoring Support.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Jianhao Meng, Shih-Fu Chang	CVEPS - A Compressed Video Editing and Parsing System.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Li-Te Cheng, Rick Kazman, John A. Robinson	Vibrotactile Feedback in Delicate Virtual Reality Operations.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Martin G. Brown, J. T. Foote, Gareth J. F. Jones, Karen Sparck Jones, Steve J. Young	Open-Vocabulary Speech Indexing for Voice and Video Mail Retrieval.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Pete Faraday, Alistair G. Sutcliffe	An Empirical Study of Attending and Comprehending Multimedia Presentations.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Kevin M. Brooks	Do Story Agents Use Rocking Chairs? The Theory and Implementation of One Model for Computational Narrative.	ACM Multimedia	1996	DBLP DOI BibTeX RDF
20	Markus Voss, Oliver Hammerschmidt	Implications of Codesign as a Natural Constituent of a Systems Engineering Discipline for Computer Based Systems.	CODES	1996	DBLP DOI BibTeX RDF	Engineering of Computer Based Systems, Hardware/Software- Codesign, Design Theory
20	Tommy King-Yin Cheung, Graham R. Hellestrand, Prasert Kanthamanon	A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study.	CODES	1996	DBLP DOI BibTeX RDF	Design Transformations, Functional Languages
20	Fred Rose, Todd Carpenter, Sanjaya Kumar, John Shackleton, Todd Steeves Honeywell	A Model for the Coanalysis of Hardware and Software Architectures.	CODES	1996	DBLP DOI BibTeX RDF	RASSP, performance modeling, VHDL, hardware/software codesign
20	Bill Lin 0001, Steven Vercauteren, Hugo De Man	Embedded Architecture Co-Synthesis and System Integration.	CODES	1996	DBLP DOI BibTeX RDF	Architectural Strategies, System Integration
20	Michael Sheliga, Nelson L. Passos, Edwin Hsing-Mean Sha	Fully Parallel Hardware/Software Codesign for Multi-Dimensional DSP Applications.	CODES	1996	DBLP DOI BibTeX RDF	Multi-Dimensional Systems, High Level Synthesis, Hardware/Software Codesign
20	Alessandro Balboni, William Fornaciari, Donatella Sciuto	Partitioning and Exploration Strategies in the TOSCA Co-Design Flow.	CODES	1996	DBLP DOI BibTeX RDF
20	Reiner W. Hartenstein, Jürgen Becker 0001, Rainer Kress 0002	Two-level Partitioning of Image Processing Algorithms for the Parallel Map-oriented Machine.	CODES	1996	DBLP DOI BibTeX RDF
20	Jean Paul Calvez, Dominique Heller, Olivier Pasquier	Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems.	CODES	1996	DBLP DOI BibTeX RDF	Hw/Sw systems, uninterpreted model, Performance evaluation, Co-Simulation
20	Carlos Carreras, Juan Carlos López 0001, María Luisa López Vallejo, Luis Sánchez, Carlos Delgado Kloos, Natividad Martínez Madrid	A Co-Design Methodology Based on Formal Specification and High-level Estimation.	CODES	1996	DBLP DOI BibTeX RDF	formal specification, partitioning, estimation, Co-design, LOTOS
20	Wolfram Hardt, Wolfgang Rosenstiel	Speed-up estimation for HW/SW-systems.	CODES	1996	DBLP DOI BibTeX RDF	HW/SW-systems, ciphering algorithm, codesign tool COD, speed-up estimation, logic design, systems analysis, hardware/software codesign, system performance, partitioning methods
20	Jörg Henkel, Rolf Ernst	The Interplay of Run-Time Estimation and Granularity in HW/SW Partitioning.	CODES	1996	DBLP DOI BibTeX RDF
20	Frank Vahid, Thuy Dm Le	Towards a Model for Hardware and Software Functional Partitioning.	CODES	1996	DBLP DOI BibTeX RDF
20	Junwei Hou, Wayne H. Wolf	Process Partitioning for Distributed Embedded Systems.	CODES	1996	DBLP DOI BibTeX RDF
20	Peter Voigt Knudsen, Jan Madsen	PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning.	CODES	1996	DBLP DOI BibTeX RDF	communication, Codesign, hardware/software partitioning, performance estimation, area estimation, co-synthesis
20	Rajesh K. Gupta 0001	A framework for interactive analysis of timing constraints in embedded systems.	CODES	1996	DBLP DOI BibTeX RDF	constraint satisfiability, performance evaluation, real-time systems, embedded systems, timing, computability, logic design, satisfiability, timing constraints, interactive analysis, timing performance
20	Reinhard Gerndt	A Case Study in Co-Design of Communication Controllers.	CODES	1996	DBLP DOI BibTeX RDF	codesign case study, embedded system, communication controller
20	Noa Goldring	Measures: back and forth between point sets and large sets.	Bull. Symb. Log.	1995	DBLP DOI BibTeX RDF
20	Ewan J. Barker	Back and Forth Relations for Reduced Abelian p-Groups.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
20	Hajnal Andréka, Johan van Benthem, István Németi	Back and Forth Between Modal Logic and Classical Logic.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
20	Henry G. Baker	Linear logic and permutation stacks - the Forth shall be first.	SIGARCH Comput. Archit. News	1994	DBLP DOI BibTeX RDF
20	Richard Volpe, Pradeep K. Khosla	Analysis and experimental verification of a forth order plant model for manipulator force control.	IEEE Robotics Autom. Mag.	1994	DBLP DOI BibTeX RDF