2514 search results - page 308 / 503 » The use of industrial-strength formal methods |
156
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
The last generation of satellites leads to the very high-resolution images which offer a high quality of detailed information about the Earth's surface. However, the exploita...
161
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
180
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
145
click to vote
AFP
2008
Springer
16 years 27 days ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...