Sciweavers

1071 search results - page 115 / 215
» Theories of Automatic Structures and Their Complexity
Sort
View
ICALP
1998
Springer
14 years 14 days ago
Bridges for Concatenation Hierarchies
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
Jean-Eric Pin
ICSE
1994
IEEE-ACM
14 years 10 days ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
COMPGEOM
2005
ACM
13 years 10 months ago
Stability of persistence diagrams
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
David Cohen-Steiner, Herbert Edelsbrunner, John Ha...
AAAI
2010
13 years 9 months ago
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
Sébastien Lahaie
JUCS
2008
208views more  JUCS 2008»
13 years 8 months ago
Using Taxonomies to Support the Macro Design Process for the Production of Web Based Trainings
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
Abdelhak Aqqal, Christoph Rensing, Ralf Steinmetz,...