2757 search results - page 236 / 552 » On separating systems |
151
click to vote
MKM
2007
Springer
16 years 12 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
159
click to vote
AROBOTS
2006
15 years 6 months ago
2006
Two basic tasks must be performed by an olfactory robot tracking a specific odor source : navigate in a turbulent odor plume and recognize an odor regardless of its concentration....
160
click to vote
ISSTA
2009
ACM
16 years 23 days ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
136
click to vote
ICDCSW
2005
IEEE
15 years 12 months ago
2005
IEEE
A powerful strategy in intrusion detection is the separation of surveillance mechanisms from a site’s policy for processing observed events. The Bro intrusion detection system h...
214
click to vote
NLDB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Extracting information automatically from texts for database representation requires previously well-grouped phrases so that entities can be separated adequately. This pr...