1763 search results - page 113 / 353 » Visualize and Open Up |
133
Voted
JOLLI
2010
15 years 3 months ago
2010
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
120
click to vote
IV
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper introduces the efficient application of Virtual Reality (VR) technologies in the Architecture, Engineering and Construction (AEC) industry, where conventional plastic m...
151
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
118
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
The interaction and integration of agent technology and data mining presents prominent benefits to solve some of challenging issues in individual areas. For instance, data mining ...
124
click to vote
C5
2003
IEEE
15 years 10 months ago
2003
IEEE
1 Croquet [18] is a computer software architecture built from the ground up with a focus on deep collaboration between teams of users. It is a totally open, totally free, highly p...