2757 search results - page 168 / 552 » On separating systems |
129
Voted
CIARP
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
125
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
154
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
84
Voted
COLING
1996
15 years 5 months ago
1996
It is obvious that segmentation takes an important role in natural language processing(NLP), especially for the languages whose sentences are not easily separated into morphemes. ...
122
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...