1259 search results - page 109 / 252 » Use Cases, Actions, and Roles |
150
click to vote
HICSS
2006
IEEE
16 years 11 days ago
2006
IEEE
E-commerce, and online auctions in particular, represent important examples of how information and communication technologies have been employed by public organizations to gain be...
280
click to vote
IJCNN
2006
IEEE
16 years 10 days ago
2006
IEEE
- Gene regulatory networks allow us to study and understand genes’ roles in biological processes. Among others, regulatory networks help to identify pathway initiator genes and t...
161
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
277
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
215
click to vote
JMLR
2012
13 years 8 months ago
2012
Graph partitioning algorithms play a central role in data analysis and machine learning. Most useful graph partitioning criteria correspond to optimizing a ratio between the cut a...