7661 search results - page 293 / 1533 » Languages and the Computing Profession |
222
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
181
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
183
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
205
click to vote
CW
2005
IEEE
16 years 1 months ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
176
click to vote
ISMB
2000
15 years 8 months ago
2000
Ontologies are specifications of the concepts in a given field, and of the relationships among those concepts. The development of ontologies for molecular-biology information and ...