12981 search results - page 577 / 2597 » Model Checking (Abstract) |
220
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Medical information systems and standards are increasingly based on principled models of at least three distinct sorts of information – patient data, concepts (terminology), and ...
203
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Map information is important for path planning and self-localization when mobile robots accomplish autonomous tasks. In unknown environments, mobile robots should gener...
196
click to vote
APCCM
2010
15 years 8 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
194
click to vote
RE
1997
Springer
15 years 11 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
213
click to vote
AGP
2003
IEEE
16 years 10 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...