Sciweavers

1925 search results - page 83 / 385
» Theory research at Google
Sort
View
JCDCG
2004
Springer
15 years 5 months ago
The Geometry of Musical Rhythm
Abstract. Musical rhythm is considered from the point of view of geometry. The interaction between the two fields yields new insights into rhythm and music theory, as well as new ...
Godfried T. Toussaint
CAV
2008
Springer
121views Hardware» more  CAV 2008»
15 years 1 months ago
The Barcelogic SMT Solver
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
DSS
2007
85views more  DSS 2007»
14 years 12 months ago
An experiment on the effectiveness of creativity enhancing decision-making support systems
Recent research suggests that creativity can enhance the performance of people for a variety of tasks, including decisionmaking. Creativity enhancements can be delivered through a...
Guisseppi A. Forgionne, John Newman
AEI
2000
127views more  AEI 2000»
14 years 11 months ago
CAIRO: a concurrent engineering meeting environment for virtual design teams
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
Feniosky Peña-Mora, Karim Hussein, Sanjeev ...
EATCS
2000
67views more  EATCS 2000»
14 years 11 months ago
Low-Discrepancy Sets For High-Dimensional Rectangles: A Survey
A sub-area of discrepancy theory that has received much attention in computer science recently, is that of explicit constructions of low-discrepancy point sets for various types o...
A. Srinivasan