Search results for "recipe"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Davorka Sel, Stanko Strmcnik, Nadja Hvala, Srecko Milanic	Simulation Study of The Flexible Recipe Implementation on a Batch Process.	ESM	1996	DBLP BibTeX RDF
16	Svatopluk Poljak, Franz Rendl, Henry Wolkowicz	A recipe for semidefinite relaxation for (0, 1)-quadratic programming - In memory of Svata Poljak.	J. Glob. Optim.	1995	DBLP DOI BibTeX RDF
16	Eiji Mizutani, Jyh-Shing Roger Jang, Kenichi Nishio, Hideyuki Takagi, David M. Auslander	Coactive neuro-fuzzy modelling for colour recipe prediction.	ICNN	1995	DBLP DOI BibTeX RDF
16	Martín Abadi, Leslie Lamport	An Old-Fashined Recipe for Real-Time.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
16	Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf	Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
16	Fengxiang Bai, Hua Zeng, Weiping Yang, Heling Shang, Lurong Guo	A New Method for Calculating Textile Color-Recipe in Uniform Chromaticity Scale System.	CIC	1994	DBLP DOI BibTeX RDF
16	Jayadeva, Basabi Bhaumik	Optimization with neural networks: a recipe for improving convergence and solution quality.	Biol. Cybern.	1992	DBLP DOI BibTeX RDF
16	James E. Loyless	Autumn - A recipe for artistic fractal images.	Comput. Graph.	1991	DBLP DOI BibTeX RDF
16	Martín Abadi, Leslie Lamport	An Old-Fashioned Recipe for Real Time.	REX Workshop	1991	DBLP DOI BibTeX RDF
16	Clifford A. Pickover	A short recipe for seashell synthesis.	IEEE Computer Graphics and Applications	1989	DBLP DOI BibTeX RDF
16		Recipe for a Usability Test.	IEEE Softw.	1988	DBLP DOI BibTeX RDF
16	Charles W. McKay	Standards for the sake of standards - a recipe for failure.	TRI-Ada	1988	DBLP DOI BibTeX RDF
16	Roy H. Campbell, Peter E. Lauer	RECIPE: Requirements for an evolutionary computer-based information processing environment.	ISPW	1984	DBLP BibTeX RDF
13	Sarah Mennicken, Thorsten Karrer, Peter Russell, Jan O. Borchers	First-person cooking: a dual-perspective interactive kitchen counter.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	computer-aided cooking, domestic spaces, dual-perspective, interactive cooking show, ubiquitous computing, kitchen
13	Stefan M. Rüger	Multimedia information retrieval.	SIGIR	2010	DBLP DOI BibTeX RDF	browsing and relevance feedback, metadata driven search, piggy-back text search, multimedia information retrieval, content-based search, automated image annotation
13	Carlos Caleiro, João Marcos 0001	Classic-Like Analytic Tableaux for Finite-Valued Logics.	WoLLIC	2009	DBLP DOI BibTeX RDF	many-valued logics, proof theory
13	Rey-Sern Lin, Shang-Wen Hu	A Modified Run-length Image Data Hiding for High Embedding Capacity.	IAS	2009	DBLP DOI BibTeX RDF
13	H. John Caulfield	Invited Talk: What Can We Learn from an Image?	OSC	2009	DBLP DOI BibTeX RDF
13	Paul-André Melliès, Nicolas Tabareau, Christine Tasson	An Explicit Formula for the Free Exponential Modality of Linear Logic.	ICALP (2)	2009	DBLP DOI BibTeX RDF
13	Krzysztof Kepa, Fearghal Morgan, Krzysztof Kosciuszkiewicz, Lars Braun, Michael Hübner 0001, Jürgen Becker 0001	FPGA Analysis Tool: High-Level Flows for Low-Level Design Analysis in Reconfigurable Computing.	ARC	2009	DBLP DOI BibTeX RDF	design assurance, bitstream debugging, security, FPGA, Reconfigurable Computing, design verification, EDA tools
13	Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens	Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks.	IWDW	2009	DBLP DOI BibTeX RDF	Quantization Index Modulation, Digital Watermarking, Lattice
13	Robin A. Moser	A constructive proof of the Lovász local lemma.	STOC	2009	DBLP DOI BibTeX RDF	bounded occurrence sat instances, hypergraph colouring, derandomization, Lovasz local lemma
13	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Integrality gaps for Sherali-Adams relaxations.	STOC	2009	DBLP DOI BibTeX RDF	Sherali-Adams hierarchy, lift-and-project methods, local-global metric spaces
13	Oscar Díaz, Felipe I. Anfurrutia, Jon Kortabitarte	Using DITA for documenting software product lines.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	documentation, software product lines, feature oriented programming, dita
13	Takamichi Nakamoto, Keisuke Murakami	Selection Method of Odor Components for Olfactory Display Using Mass Spectrum Database.	VR	2009	DBLP DOI BibTeX RDF
13	Mehran Ebrahimi, Anne L. Martel	Image Registration under Varying Illumination: Hyper-Demons Algorithm.	EMMCVPR	2009	DBLP DOI BibTeX RDF
13	Kostas Daniilidis, Jan-Olof Eklundh	3-D Vision and Recognition.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
13	Vito Trianni, Stefano Nolfi, Marco Dorigo	Evolution, Self-organization and Swarm Robotics.	Swarm Intelligence	2008	DBLP DOI BibTeX RDF
13	Michal Piórkowski, Natasa Sarafijanovic-Djukic, Matthias Grossglauser	On clustering phenomenon in mobile partitioned networks.	MobilityModels	2008	DBLP DOI BibTeX RDF	partitioned mobile networks, delay tolerant networks, mobility modeling
13	Brian Cline, Kaviraj Chopra, David T. Blaauw, Andres Torres, Savithri Sundareswaran	Transistor-Specific Delay Modeling for SSTA.	DATE	2008	DBLP DOI BibTeX RDF
13	Liping Wang 0002, Qing Li 0001, Na Li, Guozhu Dong, Yu Yang	Substructure similarity measurement in chinese recipes.	WWW	2008	DBLP DOI BibTeX RDF	cooking graph, subgraph mining, filtering, similarity measurement, recipes
13	Irene Polycarpou	Induction as a tool for conceptual coherence in computer science.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	undergraduate computer science curricula, computer science education, structural induction, proofs by induction
13	Carl Johnzen, Philippe Vialletelle, Stéphane Dauzère-Pérès, Claude Yugma, Alexandre Derreumaux	Impact of qualification management on scheduling in semiconductor manufacturing.	WSC	2008	DBLP DOI BibTeX RDF
13	David Root, Mel Rosso-Llopart, Gil Taran	Proposal Based Studio Projects: How to Avoid Producing "Cookie Cutter" Software Engineers.	CSEE&T	2008	DBLP DOI BibTeX RDF
13	T. M. Rao, Sandeep Mitra	An early software engineering approach to teaching cs1, cs2 and ai.	SIGCSE	2008	DBLP DOI BibTeX RDF	puzzle solving, software engineering, artificial intelligence, framework, teaching, stereotype, game playing, cs1/2
13	Turadg Aleahmad, Aruna D. Balakrishnan, Jeffrey Wong, Susan R. Fussell, Sara B. Kiesler	Fishing for sustainability: the effects of indirect and direct persuasion.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	consumer actions, consumer attitudes, sustainability, persuasive technology, information design
13	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
13	Fumihiro Kato, Mina Shiina, Takashi Tokizaki, Hironori Mitake, Takafumi Aoki, Shoichi Hasegawa	Culinary art designer.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF
13	Marco Botarelli, Paolo Taticchi, Luca Cagnazzo	The Virtual Development Office Framework for Business Networks: A Case Study from the Umbrian Packaging District.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
13	Hyun-Soo Kim, Bryan G. Morris, Seung Soo Han, Gary S. May	A comparison of genetic and particle swarm optimization for contact formation in high-performance silicon solar cells.	IJCNN	2008	DBLP DOI BibTeX RDF
13	Dan Bogdanov, Sven Laur, Jan Willemson	Sharemind: A Framework for Fast Privacy-Preserving Computations.	ESORICS	2008	DBLP DOI BibTeX RDF
13	Vasile V. Moca, Danko Nikolic, Raul Cristian Muresan	Real and Modeled Spike Trains: Where Do They Meet?.	ICANN (2)	2008	DBLP DOI BibTeX RDF
13	Ingrid Daubechies, Ronald A. DeVore, Massimo Fornasier, C. Sinan Güntürk	Iteratively Re-weighted Least Squares minimization: Proof of faster than linear rate for sparse recovery.	CISS	2008	DBLP DOI BibTeX RDF
13	Philippe Schlenker	How to eliminate self-reference: a précis.	Synth.	2007	DBLP DOI BibTeX RDF	Yablo’s paradox, Semantics, Self-reference, Paradox
13	Roberto De Virgilio, Riccardo Torlone, Geert-Jan Houben	Rule-based Adaptation of Web Information Systems.	World Wide Web	2007	DBLP DOI BibTeX RDF	data intensive web sites, context awareness, mobile devices, web information systems, adaptive applications
13	Olaf D. Janssen	How to Prepare a European Digital Library.	ICADL	2007	DBLP DOI BibTeX RDF	Digital library development, strategic information systems planning, project management, computer-supported collaborative work, systems development, Europe
13	Pasan Kulvanit, Nachol Chaiyaratana, Djitt Laowattana	Biped fast walking gait shaping via evolutionary multi-objective optimization.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
13	Wlodzimierz Ogryczak, Andrzej Romaszkiewicz	On Fuzzy Driven Support for SD-Efficient Portfolio Selection.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
13	Gerardo Adesso, Alessio Serafini, Fabrizio Illuminati	Continuous-variable quantum information with three-mode Gaussian states: allotment, trade-off, teleportation, and telecloning.	ICQNM	2007	DBLP DOI BibTeX RDF
13	J. S. Shaari, Mohamed Ridza Wahiddin	Qunits in Two Way Quantum Key Distribution.	ICQNM	2007	DBLP DOI BibTeX RDF
13	Ye Chen, Zheng Shi 0002, Xiaolang Yan	An Automated and Fast OPC Algorithm for OPC-Aware Layout Design.	ISQED	2007	DBLP DOI BibTeX RDF
13	Rodney Charles, Yuri Krupin, Joe Holstead, Adam Trcka, Leilei Pan, Simon X. Yang	Development of a New Electronic Nose for Odour Measurement Utilizing Wireless Sensor Networks.	ICNSC	2007	DBLP DOI BibTeX RDF
13	Daniel Mazor, Michael L. Bushnell, David J. Mulligan, Richard J. Blaikie	Fault Models and Device Yield of a Large Population of Room Temperature Operation Single-Electron Transistors.	VLSI Design	2007	DBLP DOI BibTeX RDF
13	Takamichi Nakamoto, Hai Pham Dinh Minh	Improvement of olfactory display using solenoid valves.	VR	2007	DBLP DOI BibTeX RDF
13	Nevenka Dimitrova, Robert Turetsky	Multiple Source Alignment for Video Analysis.	Encyclopedia of Multimedia	2006	DBLP DOI BibTeX RDF
13	Kiran S. Kedlaya	Quantum computation of zeta functions of curves.	Comput. Complex.	2006	DBLP DOI BibTeX RDF	Subject classification. 81P68, 14G10, 11G20
13	Mehdi Najjar, Philippe Fournier-Viger, Jean-François Lebeau, André Mayers	Recalling Recollections according to Temporal Contexts Applying a Novel Cognitive Knowledge Representation Approach.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
13	Ruck Thawonmas, Masayasu Hirano, Masayoshi Kurashige	Cellular automata and Hilditch thinning for extraction of user paths in online games.	NETGAMES	2006	DBLP DOI BibTeX RDF	Hilditch thinning, path extraction, cellular automata, game design, online games, trails
13	Julia Alonso, Ariel Fernández, Hugo Fort	Evolutionary Spatial Games Under Stress.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
13	Aran Lunzer, Kasper Hornbæk	RecipeSheet: creating, combining and controlling information processors.	UIST	2006	DBLP DOI BibTeX RDF	scientific workflow systems, subjunctive interfaces, information visualization, personal information management, end user programming
13	Yunyao Li 0001, Rajasekar Krishnamurthy, Shivakumar Vaithyanathan, H. V. Jagadish	Getting work done on the web: supporting transactional queries.	SIGIR	2006	DBLP DOI BibTeX RDF	transactional search, information extraction, intranet search
13	Yaw-Jen Chang, Yuan Kang, Chin-Liang Hsu, Chi-Tim Chang, Tat Yan Chan	Virtual Metrology Technique for Semiconductor Manufacturing.	IJCNN	2006	DBLP DOI BibTeX RDF
13	Mehran Ebrahimi, Edward R. Vrscay	Regularized Fractal Image Decoding.	CCECE	2006	DBLP DOI BibTeX RDF
13	Vesal Hakami, Ahamd Abdollahzadeh	Product-focused Process Elicitation for Mobile Application Systems: A Wireless News Browser Case.	CEC/EEE	2006	DBLP DOI BibTeX RDF
13	Laks V. S. Lakshmanan, Raymond T. Ng, Ganesh Ramesh	To Do or Not To Do: The Dilemma of Disclosing Anonymized Data.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
13	Zachi Karni, Craig Gotsman, Steven J. Gortler	Free-Boundary Linear Parameterization of 3D Meshes in the Presence of Constraints.	SMI	2005	DBLP DOI BibTeX RDF
13	Binh An Truong, Young-Koo Lee, Sungyoung Lee	Modeling and Reasoning about Uncertainty in Context-Aware Systems.	ICEBE	2005	DBLP DOI BibTeX RDF
13	Goran Trajkovski, Julius Schlosburg, Brian Whitman, Giovanni Vincenti	Building Infrastructure for an Honors Research Robotics Lab.	SNPD	2005	DBLP DOI BibTeX RDF
13	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
13	Takao Takenouchi, Takahiro Kawamura, Akihiko Ohsuga	Development of Knowledge-Filtering Agent Along with User Context in Ubiquitous Environment.	EUC Workshops	2005	DBLP DOI BibTeX RDF
13	Adamo Castelnuovo, Luca Ferrarini	Petri net models of agent-based control of a FMS with randomly generated recipes.	ETFA	2005	DBLP DOI BibTeX RDF
13	Evangelos Kotsovinos, Maja Vukovic	su-chef: Adaptive coordination of intelligent home environments.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
13	Hee-Woong Kim	A Process Model for Successful CRM System Development.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	organizational management and coordination, organizational impact, management of computing and information systems
13	Amer Salman, Rula Salman	Generation of Geometrical Patterns Based on Coloured Pixels Using Computer Graphics.	CGIV	2004	DBLP DOI BibTeX RDF	graphics primitive and attribute, geometrical patterns, coloured pixel, elements
13	Amer Salman, Rula Salman, Edwin Love	Coloured Text Pixel with Tile Based Methods for Computer Graphics Studies of Symmetric Patterns.	CGIV	2004	DBLP DOI BibTeX RDF	rare and Java program, patterns, symmetry, tiling, colour, poem
13	Tetsuro Takano, Shinichi Ueshima	Cooking Studio: Cooking Simulation from Web Recipes.	C5	2004	DBLP DOI BibTeX RDF
13	Orlando Loques, Alexandre Sztajnberg	Customizing Component-Based Architectures by Contract.	Component Deployment	2004	DBLP DOI BibTeX RDF
13	Krishna P. Leela, Pankaj M. Tolani, Jayant R. Haritsa	On Incorporating Iceberg Queries in Query Processors.	DASFAA	2004	DBLP DOI BibTeX RDF
13	Yi-Chung Lo, Yuan-Hsun Wu, Chia-Sheng Huang, Hong-Wen Liu, Chi-Hung Lin, Jengping Lin, Wensyang Hsu, Chaoen Wang	Sub-Microfabrication of Protein Micropatterns for Cell Biology Applications.	ICMENS	2004	DBLP DOI BibTeX RDF
13	Valerio Cutini, Massimiliano Petri, A. Santucci	From Axial Maps to Mark Point Parameter Analysis (Ma.P.P.A.) - A GIS Implemented Method to Automate Configurational Analysis.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
13	Reiko Hamada, Koichi Miura, Ichiro Ide, Shin'ichi Satoh 0001, Shuichi Sakai, Hidehiko Tanaka	Multimedia Integration for Cooking Video Indexing.	PCM (2)	2004	DBLP DOI BibTeX RDF	Cooking Videos, Association of Video and Text, Indexing
13	Robert F. Bedoll	A Tail of Two Projects: How 'Agile' Methods Succeeded After 'Traditional' Methods Had Failed in a Critical System-Development Project.	XP/Agile Universe	2003	DBLP DOI BibTeX RDF
13	Tetsuo Fuchino, Yukiyasu Shimada	IDEF0 Activity Model Based Design Rationale Supporting Environment for Lifecycle Safety.	KES	2003	DBLP DOI BibTeX RDF
13	Leonard Chen, Sandra Cheng, Larry Birnbaum, Kristian J. Hammond	The interactive chef: a task-sensitive assistant.	IUI	2002	DBLP DOI BibTeX RDF	speech recognition, context-sensitive, intelligent assistant
13	Raymond T. Ng, Alan S. Wagner, Yu Yin	Iceberg-cube computation with PC clusters.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF	parallel computation, OLAP
13	Martin Svensson, Kristina Höök, Jarmo Laaksolahti, Annika Waern	Social navigation of food recipes.	CHI	2001	DBLP DOI BibTeX RDF	privacy, recommender system, awareness, social navigation, online shopping
13	Meirav Hadad, Sarit Kraus	A Mechanism for Temporal Reasoning by Collaborative Agents.	CIA	2001	DBLP DOI BibTeX RDF
13	Robert Sablatnig	Increasing flexibility for automatic visual inspection: the general analysis graph.	Mach. Vis. Appl.	2000	DBLP DOI BibTeX RDF	Inspection system generation, Analogue display instruments, Directed graphs, Automatic visual inspection
13	Raimund K. Ege, Naphtali Rishe, Jingyu Liu, Vladimir Lebedev	Using Java to Add "Stored Procedures" to Databases.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	databases, object-orientation, stored procedures
13	Frieder Monninger	Design of Commercial Object-Oriented Applications - The Patterns.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
13	Serge Demeyer	Analysis of Overridden Methods to Infer Hot Spots.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
13	Abhijeet Kolpekwar, Chris S. Kellen, Ronald D. Blanton	MEMS fault model generation using CARAMEL.	ITC	1998	DBLP DOI BibTeX RDF
13	Wagner Meira Jr., Erik L. S. Fonseca, Cristina D. Murta, Virgílio A. F. Almeida	Analyzing Performance of Cache Server Hierarchies.	SCCC	1998	DBLP DOI BibTeX RDF
13	Stephen W. Smoliar, James D. Baker	Text Types in Hypermedia.	HICSS (6)	1997	DBLP DOI BibTeX RDF
13	Paul O'Neil	An Incremental Approach to Text Representation, Categorization, and Retrieval.	ICDAR	1997	DBLP DOI BibTeX RDF
13	Guoping Jia, Guoliang Zheng	Fair Transition System Specification: An Integrated Approach.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
13	Thomas Grechenig, Stefan Biffl	Introducing a Software Reuse Culture in Practice.	CSEE	1994	DBLP DOI BibTeX RDF	reuse model in practice, management issues, standards, software reuse, maintainability, quality assurance, industrial experience
13	Adrian Smith	Supply-Chain Management at Rowntree: Critical Success Factors for APL.	APL	1991	DBLP DOI BibTeX RDF	APL
13	Jean-Pierre Briot, Akinori Yonezawa	Inheritance and Synchronization in Concurrent OOP.	ECOOP	1987	DBLP DOI BibTeX RDF	sub classing, code sharing, distributed systems, synchronization, message passing, inheritance, objects, knowledge sharing, atomicity, delegation, proxies, actors, classes, copy