30267 search results - page 5583 / 6054 » Process Modelling Languages |
152
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
142
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
153
Voted
CAV
2009
Springer
16 years 28 days ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
138
Voted
FASE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
151
click to vote
GIS
2009
ACM
16 years 28 days ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...