Sciweavers

1582 search results - page 83 / 317
» Mathematical Tools for Physics
Sort
View
ISMIR
2000
Springer
132views Music» more  ISMIR 2000»
14 years 11 days ago
Optical Music Recognition System within a Large-Scale Digitization Project
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...
G. Sayeed Choudhury, M. Droetboom, Tim DiLauro, Ic...
SIGGRAPH
1999
ACM
14 years 1 months ago
Stable Fluids
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ï¬...
Jos Stam
INFOCOM
2012
IEEE
11 years 11 months ago
Toward simple criteria to establish capacity scaling laws for wireless networks
Abstract—Capacity scaling laws offer fundamental understanding on the trend of user throughput behavior when the network size increases. Since the seminal work of Gupta and Kumar...
Canming Jiang, Yi Shi, Y. Thomas Hou, Wenjing Lou,...
PODS
2009
ACM
130views Database» more  PODS 2009»
14 years 9 months ago
The finite model theory toolbox of a database theoretician
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
Leonid Libkin
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 3 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...