2765 search results - page 108 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
273
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
213
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
Protein loop structure modeling is regarded as a mini protein folding problem with significant scientific importance. Efficiently sampling the loop conformation space is a key step...
161
click to vote
IJCAI
2007
15 years 8 months ago
2007
argumentation frameworks have played a major role as a way of understanding argumentbased inference, resulting in different argumentbased semantics. In order to make such semantic...
155
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
157
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
We present an approach to updateable XML views, which is based on the Stack-Based Approach to query languages. Its novelty consists in introducing procedures overloading generic up...