2722 search results - page 231 / 545 » Automating Language Evolution |
115
click to vote
DEBU
2000
15 years 4 months ago
2000
Large growth in e-commerce has culiminated in technology boom to enable companies to better serve their consumers. The front-end of the e-commerce business is to better reach the ...
146
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
122
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
150
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
131
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...