2448 search results - page 314 / 490 » The Octahedron Abstract Domain |
IJAOSE
2010
14 years 9 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
104
click to vote
STTT
2010
14 years 9 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
109
click to vote
ER
2010
Springer
14 years 9 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
VIS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract--Scatterplots are well established means of visualizing discrete data values with two data variables as a collection of discrete points. We aim at generalizing the concept...
106
click to vote
IPMI
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. For medical image analysis issues where the domain mappings between images involve large geometrical shape changes, such as the cases of nonrigid motion recovery and inte...