2608 search results - page 406 / 522 » Subjects, Models, Languages, Transformations |
146
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
165
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
Query expansion is a well-known technique that has been shown to improve average retrieval performance. This technique has not been used in many operational systems because of the...
141
Voted
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
167
Voted
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
239
Voted
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...