Search results for "EXPRESS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Pascal Zimmer	On the Expressiveness of Pure Mobile Ambients.	EXPRESS	2000	DBLP DOI BibTeX RDF
22	Martin Berger 0001, Kohei Honda 0001	The Two-Phase Commitment Protocol in an Extended pi-Calculus.	EXPRESS	2000	DBLP DOI BibTeX RDF
22	Ilaria Castellani, Björn Victor (eds.)	6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999	EXPRESS	1999	DBLP BibTeX RDF
22	Massimo Merro	On Equators in Asynchronous Name-passing Calculi without Matching.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Heike Wehrheim	Partial order reductions for failures refinement.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Rom Langerak	Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle	Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Simone Tini	On The Expressiveness of Timed Concurrent Constraint Programming.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Mario Bravetti, Roberto Gorrieri	Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Gabriel Juhás	Petri nets with generalized algebra: a comparison.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Anna Ingólfsdóttir, Rosario Pugliese	Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Ilaria Castellani, Björn Victor	Preface.	EXPRESS	1999	DBLP DOI BibTeX RDF
22	Ilaria Castellani, Catuscia Palamidessi (eds.)	Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998	EXPRESS	1998	DBLP BibTeX RDF
22	Matthew Hennessy	A survey of location calculi.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Marta Z. Kwiatkowska, Gethin Norman	A Testing Equivalence for Reactive Probabilistic Processes.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Antonio Brogi, Jean-Marie Jacquet	On the Expressiveness of Linda-like Concurrent Languages.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Jos C. M. Baeten, Jan A. Bergstra	Deadlock Behaviour in Split and ST Bisimulation Semantics.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Gianluigi Zavattaro	Towards a Hierarchy of Negative Test Operators for Generative Communication.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy	Event Structures for Local Traces.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	P. S. Thiagarajan	Some Logical and Automata-Theoretic Aspects of Product Behaviours.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Ilaria Castellani, Catuscia Palamidessi	Preface.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Uwe Nestmann	On the Expressive Power of Joint Input.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Massimo Merro	On the Expressiveness of Chi, Update, and Fusion calculi.	EXPRESS	1998	DBLP DOI BibTeX RDF
22	Catuscia Palamidessi, Joachim Parrow (eds.)	International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997	EXPRESS	1997	DBLP BibTeX RDF
22	Arend Rensink	Bisimilarity of open terms.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Flavio Corradini	Absolute versus relative time in process algebras.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Richard Mayr	Process rewrite systems.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Ralph-Johan Back, Joakim von Wright	Contracts, games and refinement.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Alexander Moshe Rabinovich	On expressive completeness of duration and mean value calculi.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Gian-Luigi Ferrari 0002, Ugo Montanari	Tiles for concurrent and located calculi?	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist	Relating semantic models for the object calculus.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Roberto Bruni, Ugo Montanari	Zero-safe nets, or transition synchronization made simple.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	François Laroussinie, Philippe Schnoebelen	Specification in CTL+Past, verification in CTL.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Vaughan R. Pratt	Types as processes, via Chu spaces.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Catuscia Palamidessi, Joachim Parrow	Foreword.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Christel Baier, Marta Z. Kwiatkowska	Domain equations for probabilistic processes.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Flavio Corradini, Gian-Luigi Ferrari 0002, Marco Pistore	Eager, busy-waiting and lazy actions in timed computation?	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Zena M. Ariola, Jan Willem Klop, Detlef Plump	Confluent rewriting of bisimilar term graphs.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Uwe Nestmann	What is a 'good' encoding of guarded choice?	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	On the Turing equivalence of Linda coordination primitives.	EXPRESS	1997	DBLP DOI BibTeX RDF
22	Thomas Gehrke, Arend Rensink	Process creation and full sequential composition in a name-passing calculus.	EXPRESS	1997	DBLP DOI BibTeX RDF
19	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
19	Aamir Shafi, Jawad Manzoor	Towards efficient shared memory communications in MPJ express.	IPDPS	2009	DBLP DOI BibTeX RDF
19	Samuel Mascarenhas, João Dias, Nuno Afonso, Sibylle Enz, Ana Paiva 0001	Using rituals to express cultural differences in synthetic characters.	AAMAS (1)	2009	DBLP BibTeX RDF	models of emotion, personality and culture, synthetic culture, virtual agents
19	Qiming Chen, Meichun Hsu	SQL TVF Controlling Forms - Express Structured Parallel Data Intensive Computing.	DEXA	2008	DBLP DOI BibTeX RDF
19	An Jing, Shi Ruizhi, Wen Jianlong	Stereo Express of Spatial Geographical Entity.	CSSE (6)	2008	DBLP DOI BibTeX RDF
19	Tushar Krishna, Amit Kumar 0002, Patrick Chiang 0001, Mattan Erez, Li-Shiuan Peh	NoC with Near-Ideal Express Virtual Channels Using Global-Line Communication.	Hot Interconnects	2008	DBLP DOI BibTeX RDF	Hybrid interconnects, Networks-on-chip, Packet-switching
19	Markus Strohmaier, Mathias Lux, Michael Granitzer, Peter Scheir, Sotirios Liaskos, Eric S. K. Yu	How Do Users Express Goals on the Web? - An Exploration of Intentional Structures in Web Search.	WISE Workshops	2007	DBLP DOI BibTeX RDF	intentional structures, goals, information search, search process
19	N. G. Lester, F. George Wilkie, Donald McFall, M. P. Ware	Evaluating the Internal Consistency of the Base Questions in the Express Process Appraisal.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
19	Stephan Wanke, Michael Scharf, Sebastian Kiesel, Stefan Wahl	Measurement of the SIP Parsing Performance in the SIP Express Router.	EUNICE	2007	DBLP DOI BibTeX RDF
19	Amit Kumar 0002, Li-Shiuan Peh, Partha Kundu, Niraj K. Jha	Express virtual channels: towards the ideal interconnection fabric.	ISCA	2007	DBLP DOI BibTeX RDF	packet-switching, flow-control, router design
19	David C. Keezer, Dany Minier, Patrice Ducharme	Source-Synchronous Testing of Multilane PCI Express and HyperTransport Buses.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	control structure reliability, multi-gigahertz testing, picosecond timing accuracy, jitter-tolerance testing, jitter injection, fault tolerance, testing
19	Andrei Smirnov, Steven Rowan	Express Risk Assessment through Web Access to Simulation Data.	ITNG	2006	DBLP DOI BibTeX RDF	3D Modeling and Simulation, Information Retrieval, Cluster Computing, Risk Assessment, Web Interfaces
19	Simson L. Garfinkel, Robert C. Miller	Johnny 2: a user test of key continuity management with S/MIME and Outlook Express.	SOUPS	2005	DBLP DOI BibTeX RDF	user interaction design, Usability, e-commerce, user studies
19	Zoé Lacroix, Kaushal Parekh, Maria-Esther Vidal	Evaluation Paths to Express Scientific Queries.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
19	Z. M. Ma, Shiyong Lu, Farshad Fotouhi	Conceptual Data Models for Engineering Information Modeling and Formal Transformation of EER and EXPRESS-G.	ER	2003	DBLP DOI BibTeX RDF
19	Saharon Shelah	Choiceless Polynominal Time Logic: Inability to Express.	CSL	2000	DBLP DOI BibTeX RDF	Polynomial time logic, choiceless, games, Computer Science, Finite model theory
19	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
19	Matthias Ruhl	Counting and Addition Cannot Express Deterministic Transitive Closure.	LICS	1999	DBLP DOI BibTeX RDF	Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
19	Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya	A new method to express functional permissibilities for LUT based FPGAs and its applications.	ICCAD	1996	DBLP DOI BibTeX RDF	look-up table (LUT), functional permissibility, optimization, FPGA, routing
19	Serge Abiteboul, Eric Simon, Victor Vianu	Non-Deterministic Languages to Express Deterministic Transformations.	PODS	1990	DBLP DOI BibTeX RDF
17	John R. Woodward	Complexity and Cartesian Genetic Programming.	EuroGP	2006	DBLP DOI BibTeX RDF
17	John R. Woodward	Invariance of Function Complexity Under Primitive Recursive Functions.	EuroGP	2006	DBLP DOI BibTeX RDF
17	Gerald J. Sussman	Why programming is a good medium for expressing poorly understood and sloppily formulated ideas.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF
17	Sayantan Sur, Abhinav Vishnu, Hyun-Wook Jin, Wei Huang 0003, Dhabaleswar K. Panda 0001	Can Memory-Less Network Adapters Benefit Next-Generation InfiniBand Systems?.	Hot Interconnects	2005	DBLP DOI BibTeX RDF
17	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
17	Antoine Colin, Guillem Bernat	Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.	ECRTS	2002	DBLP DOI BibTeX RDF
17	Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin	Reachability and Connectivity Queries in Constraint Databases.	PODS	2000	DBLP DOI BibTeX RDF
17	Masayoshi Okamoto, Kazuhiko Yamamoto	On-line handwriting character recognition method with directional features and direction-change features.	ICDAR	1997	DBLP DOI BibTeX RDF	handwriting character recognition, directional features, direction-change features, on-line recognition, cursive-style characters, character recognition, recognition rate
15	Ali Ahmed, Amit Deokar 0001, Ho Cheung Brian Lee, Nichalin S. Summerfield	The role of commitment in online reputation systems: An empirical study of express delivery promise in an E-commerce platform.	Decis. Support Syst.	2024	DBLP DOI BibTeX RDF
15	Hanme Jang, Kiyun Yu, Jiyoung Kim	Generating Spatial Knowledge Graphs with 2D Indoor Floorplan Data: A Case Study on the Jeonju Express Bus Terminal.	ISPRS Int. J. Geo Inf.	2024	DBLP DOI BibTeX RDF
15	Xudong Diao, Meng Qiu, Gangyan Xu	Electric vehicle-based express service network design with recharging management: A branch-and-price approach.	Comput. Oper. Res.	2024	DBLP DOI BibTeX RDF
15	Debendra Das Sharma, Thomas M. Coughlin	Universal Chiplet Interconnect Express: An Open Industry Standard for Memory and Storage Applications.	Computer	2024	DBLP DOI BibTeX RDF
15	Yixuan Wang 0001, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen 0002, Chao Huang 0015, Wenchao Li 0001, Qi Zhu 0002	POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2024	DBLP DOI BibTeX RDF
15	Kaitlyn Zhou, Jena D. Hwang, Xiang Ren 0001, Maarten Sap	Relying on the Unreliable: The Impact of Language Models' Reluctance to Express Uncertainty.	CoRR	2024	DBLP DOI BibTeX RDF
15	Yanhui Zhang, Caisheng Wei, Yifan Zhang, Congcong Tian, Weifang Chen	Low-cost adaptive obstacle avoidance trajectory control for express delivery drone.	CoRR	2024	DBLP DOI BibTeX RDF
15	Joar Skalse, Alessandro Abate	On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks.	CoRR	2024	DBLP DOI BibTeX RDF
15	Ning Dai, Zhehao Lu, Jingchao Chen, Kaixin Xu, Xudong Hu, Yanhong Yuan	Research on the Algorithm of Position Correction for High-Speed Moving Express Packages Based on Traditional Vision and AI Vision.	Sensors	2024	DBLP DOI BibTeX RDF
15	Tharindu B. Hewage, Shashikant Ilager, Maria Alejandra Rodriguez, Rajkumar Buyya	CloudSim express: A novel framework for rapid low code simulation of cloud computing environments.	Softw. Pract. Exp.	2024	DBLP DOI BibTeX RDF
15	Ilaria Consoli, Claudio Mattutino, Cristina Gena	Through NAO's Emotions: How a Robot Can Express Them Without Words (short paper).	IUI Workshops	2024	DBLP BibTeX RDF
15	Junni Huang, Cong Ding 0018, Ruofei Wang, Guanyou Liu, Chuan Xu, Mei Song, Maoyun Yang	Hierarchical Dijkstra Algorithm Based on Generalized Rule Tree for Crowdsourced Express Delivery.	CCEAI	2024	DBLP DOI BibTeX RDF
15	Tiancheng Zhang 0009, Shaoyuan Huang, Cheng Zhang, Xiaofei Wang, Wenyu Wang	EasyTS: The Express Lane to Long Time Series Forecasting.	AAAI	2024	DBLP DOI BibTeX RDF
15	Felix Urban, Ferdinand Thies	Riding the Referral Express: Examining the Impact of Referral Reward Programs on Digital Transportation Platforms.	HICSS	2024	DBLP BibTeX RDF
15	Yuehui Wu, Hui Fang, Ali Gul Qureshi, Tadashi Yamada	Stochastic Single-Allocation Hub Location Routing Problem for the Design of Intra-City Express Systems.	ICORES	2024	DBLP DOI BibTeX RDF
15	Qi Zhang, Chaoxuan Gu, Jingyi Zhuang, Renata M. Wentzcovitch	express: Extensible, high-level workflows for swifter ab initio materials modeling.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
15	Chaolong Qin, Aiguo Song, Linhu Wei, Yu Zhao	A multimodal domestic service robot interaction system for people with declined abilities to express themselves.	Intell. Serv. Robotics	2023	DBLP DOI BibTeX RDF
15	Cuiling Wu, Xiaodong Duan, Tao Ning	Express parcel detection based on improved faster regions with CNN features.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
15	Guowei Zhang, Yutong Tang, Hulin Tang, Wuzhi Li, Li Wang	A global lightweight deep learning model for express package detection.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
15	Tengfei Wang, Peng Shi	Constructing multistage linear fuzzy ellipsoid number to express multi-channel uncertain digital information and application.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
15	Alexis Richard C. Claridades, Misun Kim, Jiyeong Lee	Developing a Model to Express Spatial Relationships on Omnidirectional Images for Indoor Space Representation to Provide Location-Based Services.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
15	Jinwei Chen, Zefang Zong, Yunlin Zhuang, Huan Yan, Depeng Jin, Yong Li 0008	Reinforcement Learning for Practical Express Systems with Mixed Deliveries and Pickups.	ACM Trans. Knowl. Discov. Data	2023	DBLP DOI BibTeX RDF
15	Luming Zhang, Junjie Peng, Wenfu Liu, Haochen Yuan, Shuhua Tan, Lu Wang, Fen Yi	A semantic fusion based approach for express bill detection in complex scenes.	Image Vis. Comput.	2023	DBLP DOI BibTeX RDF
15	Debendra Das Sharma	Novel Composable and Scaleout Architectures Using Compute Express Link.	IEEE Micro	2023	DBLP DOI BibTeX RDF
15	Debendra Das Sharma	System on a Package Innovations With Universal Chiplet Interconnect Express (UCIe) Interconnect.	IEEE Micro	2023	DBLP DOI BibTeX RDF
15	Debendra Das Sharma	Compute Express Link (CXL): Enabling Heterogeneous Data-Centric Computing With Heterogeneous Memory Hierarchy.	IEEE Micro	2023	DBLP DOI BibTeX RDF
15	Ao Ding, Yuan Zhang, Lei Zhu, Hongfeng Li, Lei Huang	Intelligent recognition of rough handling of express parcels based on CNN-GRU with the channel attention mechanism.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
15	Shantanu Vyas, Ting-Ju Chen, Jay Woodward, Vinayak R. Krishnamurthy	Reflect-Express-Transform: Investigating Speech-Based Iterative Digital Design for Young Designers.	J. Comput. Inf. Sci. Eng.	2023	DBLP DOI BibTeX RDF
15	Baris Yildiz 0001, Martin W. P. Savelsbergh, Ali K. Dogru	Transshipment network design for express air cargo operations in China.	EURO J. Transp. Logist.	2023	DBLP DOI BibTeX RDF
15	Yafei Li, Qingshun Wu, Xin Huang 0001, Jianliang Xu, Wanru Gao, Mingliang Xu	Efficient Adaptive Matching for Real-Time City Express Delivery.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
15	Jiaqi Liu, Xiao Qi, Ying Ni, Jian Sun 0010, Peng Hang	Teaching Autonomous Vehicles to Express Interaction Intent during Unprotected Left Turns: A Human-Driving-Prior-Based Trajectory Planning Approach.	CoRR	2023	DBLP DOI BibTeX RDF