4965 search results - page 577 / 993 » A Simple Abstraction for Data Modeling |
236
click to vote
ER
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
195
click to vote
ESA
2006
Springer
15 years 11 months ago
2006
Springer
A sensor network consists of sensing devices which may exchange data through wireless communication. A particular feature of sensor networks is that they are highly energy constrai...
171
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
There has been a growing interest in monitoring the social media presence of companies for improved marketing. Many public APIs are available for tapping into the data, and there a...
227
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
192
click to vote
DCC
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper addresses the problem of bit allocation among frames in a predictively encoded video sequence. Finding optimal solutions to this problem potentially requires making an ...