Sciweavers

5465 search results - page 394 / 1093
» Assigning Types to Processes
Sort
View
POPL
1994
ACM
15 years 9 months ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
ESA
2010
Springer
207views Algorithms» more  ESA 2010»
15 years 6 months ago
Budgeted Red-Blue Median and Its Generalizations
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...
MohammadTaghi Hajiaghayi, Rohit Khandekar, Guy Kor...
ICIP
2007
IEEE
16 years 6 months ago
Video Segmentation and Semantics Extraction from the Fusion of Motion and Color Information
In recent years, digital multimedia technologies have evolved significantly, and are finding numerous applications, over the internet, and even over mobile networks. Thus, the vid...
Alexia Briassouli, Vasileios Mezaris, Ioannis Komp...
ICDE
2008
IEEE
175views Database» more  ICDE 2008»
16 years 6 months ago
Continuous Intersection Joins Over Moving Objects
The continuous intersection join query is computationally expensive yet important for various applications on moving objects. No previous study has particularly addressed this que...
Rui Zhang 0003, Dan Lin, Kotagiri Ramamohanarao, E...
COOPIS
2004
IEEE
15 years 8 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann