Sciweavers

5465 search results - page 164 / 1093
» Assigning Types to Processes
Sort
View
CONCUR
2000
Springer
15 years 7 months ago
The Control of Synchronous Systems
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ICIP
2005
IEEE
16 years 4 months ago
Multiple active contour models based on the EM algorithm
This paper describes an algorithm for the extraction of multiple regions using multiple active contour models (ACMs). The algorithm organizes edge points into strokes and assigns ...
Margarida Silveira, Jorge S. Marques
WSKS
2009
Springer
15 years 9 months ago
Towards an "Intelligent" Tagging Tool for Blogs
Tagging allows people to effectively organize web resources such as images, bookmarks or blog articles. Things are found easier by browsing tag clouds relying on the tags that hav...
Juraj Frank, Renate Motschnig, Martin Homola
ICDCSW
2007
IEEE
15 years 9 months ago
Using stream queries to measure communication performance of a parallel computing environment
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
Erik Zeitler, Tore Risch
ECAI
2004
Springer
15 years 8 months ago
An Interactive System for Hiring and Managing Graduate Teaching Assistants
In this paper, we describe a system for managing the hiring and assigning of Graduate Teaching Assistants (GTAs) to academic tasks based on the GTAs qualifications, preferences, a...
Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choue...