1426 search results - page 116 / 286 » Specification of nonmonotonic reasoning |
156
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA govern...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
209
click to vote
TCAD
2010
15 years 1 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
169
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
176
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...