1855 search results - page 84 / 371 » Composing model programs for analysis |
118
click to vote
ICALP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
123
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
CONSTRAINTS
2004
15 years 2 months ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
120
click to vote
ICDAR
2005
IEEE
15 years 8 months ago
2005
IEEE
Many diagrams contain compound objects composed of parts. We propose a recognition framework that learns parts in an unsupervised way, and requires training labels only for compou...
126
click to vote
ISCC
2002
IEEE
15 years 8 months ago
2002
IEEE
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...