Sciweavers

1974 search results - page 76 / 395
» Conditional Purchase Orders
Sort
View
111
Voted
HYBRID
2003
Springer
15 years 9 months ago
Observability of Linear Hybrid Systems
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
René Vidal, Alessandro Chiuso, Stefano Soat...
JSCIC
2008
62views more  JSCIC 2008»
15 years 4 months ago
Robustness of a Spline Element Method with Constraints
The spline element method with constraints is a discretization method where the unknowns are expanded as polynomials on each element and Lagrange multipliers are used to enforce th...
Gerard Awanou
FAC
2000
124views more  FAC 2000»
15 years 3 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
ICCS
2004
Springer
15 years 9 months ago
A Two-Leveled Mobile Agent System for E-commerce with Constraint-Based Filtering
This paper presents a two-leveled mobile agent system for electronic commerce. It is based on mobile agents as mediators and uses the publish/subscribe paradigm for registration an...
Ozgur Koray Sahingoz, Nadia Erdogan
SIGECOM
2003
ACM
122views ECommerce» more  SIGECOM 2003»
15 years 9 months ago
On polynomial-time preference elicitation with value queries
Preference elicitation — the process of asking queries to determine parties’ preferences — is a key part of many problems in electronic commerce. For example, a shopping age...
Martin Zinkevich, Avrim Blum, Tuomas Sandholm