2694 search results - page 395 / 539 » Frege's New Science |
184
click to vote
MFCS
2007
Springer
16 years 16 days ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
179
click to vote
SARA
2007
Springer
16 years 16 days ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
171
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
159
click to vote
ESCIENCE
2006
IEEE
16 years 14 days ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
149
click to vote
HICSS
2006
IEEE
16 years 14 days ago
2006
IEEE
Historically, software application systems have been produced either individually tailored for the specific customer, or they have been adapted from standardized packages. This pa...