Sciweavers

26602 search results - page 4988 / 5321
» A New Imaging Model
Sort
View
DPD
2002
120views more  DPD 2002»
15 years 7 months ago
An Overview of Standards and Related Technology in Web Services
The Internet is revolutionizing business by providing an affordable and efficient way to link companies with their partners as well as customers. Nevertheless, there are problems t...
Aphrodite Tsalgatidou, Thomi Pilioura
ECR
2002
95views more  ECR 2002»
15 years 7 months ago
Motivating Human-Agent Interaction: Transferring Insights from Behavioral Marketing to Interface Design
The understanding of consumer interaction with online EC Websites is one of the big current challenges for online marketers. The present paper investigates what drives and impedes...
Sarah Spiekermann, Corina Paraschiv
ENTCS
2002
125views more  ENTCS 2002»
15 years 7 months ago
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ENTCS
2002
108views more  ENTCS 2002»
15 years 7 months ago
Bisimulation Relations for Dynamical and Control Systems
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
Esfandiar Haghverdi, Paulo Tabuada, George J. Papp...
JAR
2000
97views more  JAR 2000»
15 years 7 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
« Prev « First page 4988 / 5321 Last » Next »