Sciweavers

1195 search results - page 39 / 239
» Modeling an Algebraic Stepper
Sort
View
ENTCS
2006
122views more  ENTCS 2006»
15 years 5 months ago
Algorithmic Algebraic Model Checking III: Approximate Methods
Venkatesh Mysore, Bud Mishra
MIS
2006
Springer
80views Multimedia» more  MIS 2006»
15 years 5 months ago
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Ma...
CVGIP
2002
174views more  CVGIP 2002»
15 years 5 months ago
Computing quadric surface intersections based on an analysis of plane cubic curves
Computing the intersection curve of two quadrics is a fundamental problem in computer graphics and solid modeling. We present an algebraic method for classifying and parameterizin...
Wenping Wang, Barry Joe, Ronald N. Goldman
RML
2002
99views Business» more  RML 2002»
15 years 5 months ago
A System for Querying and Viewing Business Constraints
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
Mizuho Iwaihara, Masayuki Kozawa, Jun Narazaki, Ya...
164
Voted
IANDC
2010
132views more  IANDC 2010»
15 years 3 months ago
The expressive power of the shuffle product
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
Jean Berstel, Luc Boasson, Olivier Carton, Jean-Er...