2012 search results - page 315 / 403 » CORAL - Control, Relations and Logic |
183
click to vote
ICALP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
153
click to vote
ICIC
2007
Springer
16 years 15 days ago
2007
Springer
Humans can easily recognize complex objects even if values of their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual inform...
193
click to vote
SOCO
2007
Springer
16 years 14 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
165
click to vote
ADBIS
2006
Springer
16 years 10 days ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
175
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...